package core

You can search for identifiers within the package.

in-package search v0.2.0

Module `Core.Validated`Source

Sourcetype ('raw, 'witness) t = private 'raw

Sourceval raw : ('raw, _) t -> 'raw

Sourceval raw_local : ('raw, _) t -> 'raw

Sourcemodule type Raw = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule type S_allowing_substitution = sig ... end

Sourcemodule type S_bin_io = sig ... end

Sourcemodule type S_bin_io_compare_hash_sexp = sig ... end

Sourcemodule type S_bin_io_compare_globalize_hash_sexp = sig ... end

Sourcemodule Make (Raw : Raw) : S with type raw := Raw.t

Sourcemodule Make_binable (Raw : sig ... end) : S_bin_io with type raw := Raw.t

module Make_bin_io_compare_hash_sexp
  (Raw : sig ... end) : 
  S_bin_io_compare_hash_sexp with type raw := Raw.t

Make_bin_io_compare_hash_sexp is useful for stable types.

module Make_bin_io_compare_globalize_hash_sexp
  (Raw : sig ... end) : 
  S_bin_io_compare_globalize_hash_sexp with type raw := Raw.t

module Add_bin_io
  (Raw : sig ... end)
  (Validated : S with type raw := Raw.t) : 
  sig ... end

module Add_compare
  (Raw : sig ... end)
  (Validated : S with type raw := Raw.t) : 
  sig ... end

module Add_hash
  (Raw : sig ... end)
  (Validated : S with type raw := Raw.t) : 
  sig ... end

module Add_typerep
  (Raw : sig ... end)
  (Validated : S with type raw := Raw.t) : 
  sig ... end