Backend.Nameinclude Validated_string.S with type t := tval to_string : t -> stringGiven that t = string in the implementation, this function is just the identity.
val of_string : string -> (t, [ `Msg of string ]) Stdlib.Result.tof_string str returns Ok str if X.invariant str = true, and an error otherwise. This is meant to be used to validate untrusted entries.
val v : string -> tv str is a convenient wrapper to build a t or raise Invalid_argument. This is typically handy for applying on trusted literals.