package colibri2

  1. Overview
  2. Docs

One Value.t can be associated to an equivalence class and a Value.t is associated to an uniq Node.t

Key with arity 2

Generic value which unit all the values

include Colibri2_popop_lib.Popop_stdlib.Datatype
val hash_fold_t : t Base.Hash.folder
module S : Colibri2_popop_lib.Map_intf.Set with type 'a M.t = 'a M.t and type M.key = M.key
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 index : ('a, _) Value.Kind.t -> 'a -> t

Return the corresponding node from a value

val node : t -> Node.t
val value : ('a, _) Kind.t -> t -> 'a option
type kind =
  1. | Value : (_, 'b) Kind.t * 'b -> kind
val kind : t -> kind

unpack a value

module type S = sig ... end
OCaml

Innovation. Community. Security.