Module Farith.I

type t
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
val hash : t -> Base.Hash.hash_value
val ew : t -> int
val mw : t -> int
val pp : Format.formatter -> t -> unit
val top : mw:int -> ew:int -> t
val inter : t -> t -> t option
val add : Mode.t -> t -> t -> t
val ge : t -> t option
val gt : t -> t option
val le : t -> t option
val lt : t -> t option
val singleton : F.t -> t
val is_singleton : t -> F.t option