package colibri2

  1. Overview
  2. Docs
val pp_ty : Ppx_deriving_runtime.Format.formatter -> ty -> Ppx_deriving_runtime.unit
val compare_ty : ty -> ty -> Ppx_deriving_runtime.int
val equal_ty : ty -> ty -> Ppx_deriving_runtime.bool
val hash_fold_ty : Ppx_hash_lib.Std.Hash.state -> ty -> Ppx_hash_lib.Std.Hash.state
val hash_ty : ty -> Ppx_hash_lib.Std.Hash.hash_value
type t = {
  1. term : Node.t Expr.Term.Var.M.t;
  2. ty : ty;
}
include Colibri2_popop_lib.Popop_stdlib.Datatype with type t := t
include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType with type t := t
val equal : t -> t -> bool
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 empty : t
val distinct_union : t -> t -> t
val map_repr : _ Egraph.t -> t -> t
OCaml

Innovation. Community. Security.