package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type ty = Ty.t Expr.Ty.Var.M.t

val pp_ty : 
  Ppx_deriving_runtime.Format.formatter ->
  ty ->
  Ppx_deriving_runtime.unit

val show_ty : ty -> Ppx_deriving_runtime.string

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 = {

}

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 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 empty : t

val distinct_union : t -> t -> t

val map_repr : _ Egraph.t -> t -> t