package colibri2

  1. Overview
  2. Docs
type t
val equal : t -> t -> bool
val pp : Containers.Format.formatter -> t -> unit
val key : t Kind.t
val inter : Egraph.wt -> t -> t -> t option

inter d d1 d2 compute the intersection of d1 and d2 return None if it is empty. In this last case a contradiction is reported

val is_singleton : Egraph.wt -> t -> Value.t option

is_singleton _ d if d is restricted to a singleton return the corresponding value

OCaml

Innovation. Community. Security.