package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

See Validated_intf for documentation.

type ('raw, 'witness) t = private 'raw
val raw : ('raw, _) t -> 'raw
module type Raw = Validated.Raw
module type S = Validated.S
module Make (Raw : Validated.Raw) : 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
OCaml

Innovation. Community. Security.