package core_kernel

You can search for identifiers within the package.

in-package search v0.2.0

Module `Core_kernel.Validated`

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

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

module type Raw = Validated.Raw

module type S = Validated.S

module type S_bin_io = Validated.S_bin_io

module type S_bin_io_compare_hash_sexp = Validated.S_bin_io_compare_hash_sexp

module Make (Raw : Validated.Raw) : sig ... end

module Make_binable (Raw : sig ... end) : sig ... end

module Make_bin_io_compare_hash_sexp (Raw : sig ... end) : sig ... end

Make_bin_io_compare_hash_sexp is useful for stable types.

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

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

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

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