Module `Validated.Add_typerep`

Parameters

Raw : sig ... end
Validated : S with type raw := Raw.t

Signature

type t

include Typerep_lib.Typerepable.S with type t := t

type t

val typerep_of_t : t Typerep_lib.Std_internal.Typerep.t
val typename_of_t : t Typerep_lib.Typename.t