type t = private
val is_valid : t -> Syntax.t -> boolval of_string : string -> tval to_string : t -> stringval of_int : int -> tval of_float : float -> tval of_bool : bool -> tval of_int64 : Stdlib.Int64.t -> tval of_digest : Stdune.Digest.t -> t