package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

instantiated function symbol

val hash_fold_list : 
  (Base__.Ppx_hash_lib.Std.Hash.state ->
    'a ->
    Base__.Ppx_hash_lib.Std.Hash.state) ->
  Base__.Ppx_hash_lib.Std.Hash.state ->
  'a Base.list ->
  Base__.Ppx_hash_lib.Std.Hash.state

type t = {

tc : F.t;
ta : Colibri2_core.Expr.Ty.t list;

}

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

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

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

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

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