val to_string : t -> stringval to_string_unsafe : t -> stringval make_std : string -> tval hidden_of_string : string -> tval shadowed_of_string : string -> tval equal_modulo_shadowing : t -> t -> boolval equal : t -> t -> boolval compare : t -> t -> intval is_hidden : t -> bool