package colibri2

  1. Overview
  2. Docs

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 = {
  1. tc : F.t;
  2. 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
OCaml

Innovation. Community. Security.