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 register_hook_new_foreign_array : 
  Colibri2_core.Egraph.wt ->
  (Colibri2_core.Ground.Ty.t -> Colibri2_core.Node.t -> unit) ->
  unit

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

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