- #status as 'status -> 'status abbrev_map -> ml_type -> 'status * ml_type
-val type_simpl : #status as 'status -> ml_type -> 'status * ml_type
+ (#status as 'status) -> 'status abbrev_map -> ml_type -> 'status * ml_type
+val type_simpl : (#status as 'status) -> ml_type -> 'status * ml_type