package colibrilib

  1. Overview
  2. Docs

Module Union.MakeSource

Parameters

module Q : sig ... end

Signature

Sourcetype t'' =
  1. | Sin of Q.t * t''
  2. | Chg of Q.t * Colibrilib__.Bound__Bound.t * t''
  3. | Inf
Sourcetype t' =
  1. | On of t''
  2. | Off of t''
Sourcetype infr =
  1. | R of unit
  2. | I
Sourcetype t = t'
Sourceval singleton : Q.t -> t
Sourceval is_singleton : t -> Q.t option
Sourceval min_bound_sup : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t -> Colibrilib__.Bound__Bound.t -> Q.t * Colibrilib__.Bound__Bound.t
Sourceval min_bound_inf : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t -> Colibrilib__.Bound__Bound.t -> Q.t * Colibrilib__.Bound__Bound.t
Sourceval max_bound_sup : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t -> Colibrilib__.Bound__Bound.t -> Q.t * Colibrilib__.Bound__Bound.t
Sourceval max_bound_inf : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t -> Colibrilib__.Bound__Bound.t -> Q.t * Colibrilib__.Bound__Bound.t
Sourceval inter' : bool -> bool -> t'' -> t'' -> t''
Sourceval inter : t -> t -> t option
Sourceval union' : bool -> bool -> t'' -> t'' -> t''
Sourceval union_a : t' -> t' -> t'
Sourceval union : t -> t -> t
Sourceval cmp : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t -> bool
Sourceval mem : Q.t -> t -> bool
Sourceval except : t -> Q.t -> t option
Sourceval complement : t -> t option
Sourceval add_bound : Colibrilib__.Bound__Bound.t -> Colibrilib__.Bound__Bound.t -> Colibrilib__.Bound__Bound.t
Sourceval both_strict : Colibrilib__.Bound__Bound.t -> Colibrilib__.Bound__Bound.t -> Colibrilib__.Bound__Bound.t
Sourceval bound_compare : 'xi. (bool -> bool -> 'xi) -> bool -> bool -> Colibrilib__.Bound__Bound.t -> Colibrilib__.Bound__Bound.t -> 'xi
Sourceval for_all : (bool -> bool -> bool) -> t -> t -> bool
Sourceval distinct : t -> t -> bool
Sourceval impb : bool -> bool -> bool
Sourceval is_included : t -> t -> bool
Sourceval gt : Q.t -> t
Sourceval lt : Q.t -> t
Sourceval ge : Q.t -> t
Sourceval le : Q.t -> t
Sourceval le' : t -> t
Sourceval mem_max' : bool -> t'' -> (Q.t * Colibrilib__.Bound__Bound.t) option
Sourceval mem_max : t -> (Q.t * Colibrilib__.Bound__Bound.t) option
Sourceval mem_min : t -> (Q.t * Colibrilib__.Bound__Bound.t) option
Sourceval lt' : t -> t
Sourceval gt' : t -> t
Sourceval ge' : t -> t
Sourcemodule IsComparable : sig ... end
Sourcetype convex_hull = (Q.t * Colibrilib__.Bound__Bound.t) option * (Q.t * Colibrilib__.Bound__Bound.t) option
Sourceval from_convex_hull : ((Q.t * Colibrilib__.Bound__Bound.t) option * (Q.t * Colibrilib__.Bound__Bound.t) option) -> t option
Sourceval get_convex_hull : t -> (Q.t * Colibrilib__.Bound__Bound.t) option * (Q.t * Colibrilib__.Bound__Bound.t) option
Sourcemodule Increasing : sig ... end
Sourcemodule NonIncreasing : sig ... end
Sourcemodule Map : sig ... end
Sourceval square_backward : t -> t option
Sourceval ceilb : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t
Sourceval floorb : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t
Sourcetype reducer = {
  1. red_is_integer : Q.t -> bool;
  2. red_floorb : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t;
  3. red_ceilb : Q.t -> Colibrilib__.Bound__Bound.t -> Q.t;
}
Sourceval reduce_generic : reducer -> t -> t option
Sourceval reduce_integers : t -> t option
Sourcemodule ED : sig ... end