package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t =

val equal : t -> t -> bool

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

val key : t Colibri2_core.Dom.Kind.t

val inter : Colibri2_core.Egraph.wt -> t -> t -> t option

val pp : t Fmt.t

val set_dom : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> t -> unit

val upd_dom : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> t -> unit