package aez

  1. Overview
  2. Docs
type t
exception NotConsistent of Explanation.t
exception Not_a_float
val undefined : Ty.t -> t
val point : Num.num -> Ty.t -> Explanation.t -> t
val doesnt_contain_0 : t -> Sig.answer
val is_strict_smaller : t -> t -> bool
val new_borne_sup : Explanation.t -> Num.num -> is_le:bool -> t -> t
val new_borne_inf : Explanation.t -> Num.num -> is_le:bool -> t -> t
val is_point : t -> (Num.num * Explanation.t) option
val intersect : t -> t -> t
val exclude : t -> t -> t
val mult : t -> t -> t
val power : int -> t -> t
val sqrt : t -> t
val root : int -> t -> t
val add : t -> t -> t
val scale : Num.num -> t -> t
val print : Format.formatter -> t -> unit
val finite_size : t -> Num.num option
val borne_inf : t -> Num.num * Explanation.t
val div : t -> t -> t