package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type map_info = {

bi_ind_ty : Colibri2_core.Ground.Ty.t;
bi_val_ty : Colibri2_core.Ground.Ty.t;
a_val_ty : Colibri2_core.Ground.Ty.t;
f_arity : int;

}

type t = {

reads : Colibri2_core.Node.S.t;
map_parents : map_info Colibri2_core.Ground.M.t;

}

val equal : t -> t -> bool

val pp : Stdlib.Format.formatter -> t -> unit

val show : t -> string

val is_singleton : 'a -> 'b -> 'c option

val key : t Colibri2_core.Dom.Kind.t

val inter : 'a -> t -> t -> t option

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

val register_hook_new_read : 
  Colibri2_core.Egraph.wt ->
  (Colibri2_core.Egraph.wt ->
    Colibri2_core.Node.t ->
    map_info Colibri2_core.Ground.M.t ->
    unit) ->
  unit

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

val register_hook_new_map_parent : 
  Colibri2_core.Egraph.wt ->
  (Colibri2_core.Egraph.wt ->
    Colibri2_core.Ground.t ->
    Colibri2_core.Node.S.t ->
    map_info ->
    unit) ->
  unit

val add_map_parent : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_core.Ground.t ->
  map_info ->
  unit