package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = private {

}

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

include Ppx_hash_lib.Hashable.S with type t := t

val hash_fold_t : t Base__Ppx_hash_lib.hash_fold

val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value

val index : 
  Colibri2_core.Expr.Ty.Const.t ->
  Colibri2_core.Ground.Ty.t Base.list ->
  t Base.option

val case : t -> Case.t -> Colibri2_core.Ground.Ty.t Base.list

Return the type of the argument of the given cases