package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Case : Colibri2_popop_lib.Popop_stdlib.Datatype

val case_of_int : Base.int -> Case.t

module Field : Colibri2_popop_lib.Popop_stdlib.Datatype

val field_of_int : Base.int -> Field.t

module MonoAdt : sig ... end

val cases_of_adt : MonoAdt.t -> Case.S.t

type ts = {

adt : MonoAdt.t;
case : Case.t;
fields : Colibri2_core.Value.t Field.M.t;

}

include Colibri2_core.Value.S with type s := ts

module SD : Colibri2_popop_lib.Popop_stdlib.NamedDatatype with type t = ts

nodevalue

include Colibri2_popop_lib.Popop_stdlib.Datatype

include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType

type t

val equal : t -> t -> bool

val pp : t Colibri2_popop_lib.Pp.pp

val hash_fold_t : t Base.Hash.folder

module M : Colibri2_popop_lib.Map_intf.PMap with type key = t

module S : 
  Colibri2_popop_lib.Map_intf.Set
    with type 'a M.t = 'a M.t
     and type M.key = M.key

module H : Colibri2_popop_lib.Exthtbl.Hashtbl.S with type key = t

include Base.Hashtbl.Key.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

val sexp_of_t : t -> Sexplib0.Sexp.t

val hash : t -> int

val key : (ts, t) Colibri2_core.Value.Kind.t

val index : ?basename:string -> ts -> t

Return a nodevalue from a valueantical term. Basename is used only for debug

val node : t -> Colibri2_core.Node.t

Return a class from a nodevalue

val value : t -> ts

Return the value from a nodevalue

val nodevalue : t -> Colibri2_core.Value.t

val of_nodevalue : Colibri2_core.Value.t -> t option

val of_value : ts -> Colibri2_core.Value.t

val coerce_nodevalue : Colibri2_core.Value.t -> t

val coerce_value : Colibri2_core.Value.t -> ts

val th_register : Colibri2_core.Egraph.wt -> Base.unit

val propagate_value : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.t ->
  Base.unit

val sequence_of_cases : 
  _ Colibri2_core.Egraph.t ->
  MonoAdt.t ->
  Case.t Base.Sequence.t ->
  Colibri2_core.Value.t Colibri2_core.Interp.SeqLim.t