+ ptype: [
+ [ "bool" -> <:expr< Wrappi_types.TBool >> ]
+ | [ "buffer" -> <:expr< Wrappi_types.TBuffer >> ]
+ (* enum XXX *)
+ | [ "file" -> <:expr< Wrappi_types.TFile >> ]
+ | [ "hash"; "("; t = ptype; ")" -> <:expr< Wrappi_types.THash $t$ >> ]
+ | [ "int" -> <:expr< Wrappi_types.TInt >> ]