Meta_E.Ctype t = Q_ast_base.E_MetaSig.ttype prefix_t = Q_ast_base.E_MetaSig.prefix_tval loc_v : unit -> tval char : char -> tval bool : bool -> tval int : int -> tval int32 : int32 -> tval int64 : int64 -> tval nativeint : nativeint -> tval float : float -> tval string : string -> tval record : (MLast.patt * t) list -> t