Spec.Vtype t = Arg.V.tval hash : t -> intval show : t -> stringval pretty : unit -> t -> Printable.Pretty.docval printXml : 'a BatInnerIO.output -> t -> unitval to_yojson : t -> Yojson.Safe.tval tag : t -> intval arbitrary : unit -> t QCheck.arbitraryval is_write_only : t -> bool