Parser_shims.Builtin_attributes
type current_phase =
| Parser
| Invariant_check
val register_attr : current_phase -> 'a -> unit
val mark_payload_attrs_used : 'a -> unit