package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module T : sig ... end

instantiated function symbol

include module type of struct include T end

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 = T.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 : t -> Ppx_hash_lib.Std.Hash.hash_value

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

include sig ... end

val hash_fold_t : T.t Base.Hash.folder

module M : sig ... end

module S : sig ... end

module H : sig ... end

val sexp_of_t : T.t -> Base.Sexp.t