`type t`````
`include sig ... end`
`val compare : t ‑> t ‑> Core_kernel__.Import.int`
`val sexp_of_t : t ‑> Base.Sexp.t`
`include Core_kernel.Comparable.Infix with type t := t`
`type t`````
`val (>=) : t ‑> t ‑> bool`
`val (<=) : t ‑> t ‑> bool`
`val (=) : t ‑> t ‑> bool`
`val (>) : t ‑> t ‑> bool`
`val (<) : t ‑> t ‑> bool`
`val (<>) : t ‑> t ‑> bool`
`include Core_kernel.Comparable.Validate with type t := t`
`type t`````
`val validate_lbound : min:t Base.Maybe_bound.t ‑> t Base.Validate.check`
`val validate_ubound : max:t Base.Maybe_bound.t ‑> t Base.Validate.check`
`val validate_bound : min:t Base.Maybe_bound.t ‑> max:t Base.Maybe_bound.t ‑> t Base.Validate.check`
`include Core_kernel.Comparable.With_zero with type t := t`
`type t`````
`val validate_positive : t Base.Validate.check`
`val validate_non_negative : t Base.Validate.check`
`val validate_negative : t Base.Validate.check`
`val validate_non_positive : t Base.Validate.check`
`val is_positive : t ‑> bool`
`val is_non_negative : t ‑> bool`
`val is_negative : t ‑> bool`
`val is_non_positive : t ‑> bool`
`val sign : t ‑> Base__.Sign0.t`

Returns `Neg`, `Zero`, or `Pos` in a way consistent with the above functions.

`include Core_kernel__.Import.Equal.S with type t := t`
`type t`````
`val equal : t Core_kernel__.Import.Equal.equal`
`val of_sec : Core_kernel__.Import.float ‑> t`
`val scale : t ‑> Core_kernel__.Import.float ‑> t`