Module Filters.Sanity

type verdict =
  1. | Ok
  2. | Reject of string
val check : price:float -> size:float -> verdict

Pure function. Returns Ok iff price and size are both finite and strictly positive.