Restriction generation
module Format : sig ... endval enumeration : string ‑> tval fraction_digits : int ‑> tval length : int ‑> tval max_exclusive : int ‑> tval min_exclusive : int ‑> tval max_inclusive : int ‑> tval min_inclusive : int ‑> tval min_length : int ‑> tval max_length : int ‑> tval pattern : string ‑> tval total_digits : int ‑> t