package colibri2

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Colibrilib.Interval.Bound.t =
  1. | Strict
  2. | Large
val compare_bounds_inf : (Q.t * t) -> (Q.t * t) -> int
val compare_bounds_sup : (Q.t * t) -> (Q.t * t) -> int
val compare_bounds_inf_sup : (Q.t * t) -> (Q.t * t) -> int
val neg : t -> t
include Colibri2_popop_lib.Popop_stdlib.Datatype with type t := t
include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType with type t := t
val equal : t -> t -> bool
val hash_fold_t : t Base.Hash.folder
module S : Colibri2_popop_lib.Map_intf.Set with type 'a M.t = 'a M.t and type M.key = M.key
include Base.Hashtbl.Key.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val sexp_of_t : t -> Sexplib0.Sexp.t
val hash : t -> int
OCaml

Innovation. Community. Security.