package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Builtin : sig ... end

include Colibri2_core.Value.S with type s = Colibri2_stdlib.Std.A.t

type s = Colibri2_stdlib.Std.A.t

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

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 : (s, t) Colibri2_core.Value.Kind.t

val index : ?basename:string -> s -> 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 -> s

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 : s -> Colibri2_core.Value.t

val coerce_nodevalue : Colibri2_core.Value.t -> t

val coerce_value : Colibri2_core.Value.t -> s

val set : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_stdlib.Std.A.t ->
  unit

val cst' : Colibri2_stdlib.Std.A.t -> t

val cst : Colibri2_stdlib.Std.A.t -> Colibri2_core.Node.t

val zero : Colibri2_core.Node.t

val init : Colibri2_core.Egraph.wt -> unit

val int_sequence : Z.t Base.Sequence.t

val q_sequence : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_stdlib.Std.A.t Colibri2_core.Interp.SeqLim.t

val unsigned_bitv : int -> Colibri2_stdlib.Std.A.t -> Z.t

val signed_bitv : int -> Colibri2_stdlib.Std.A.t -> Z.t