-val pp_decl : #status as 'status -> ml_decl -> 'status * std_ppcmds
-val pp_spec : #status as 'status -> ml_spec -> 'status * std_ppcmds
-val pp_open : #status as 'status -> string -> 'status * std_ppcmds
+val pp_decl : (#status as 'status) -> ml_decl -> 'status * std_ppcmds
+val pp_spec : (#status as 'status) -> ml_spec -> 'status * std_ppcmds
+val pp_open : (#status as 'status) -> string -> 'status * std_ppcmds