Module Headers.PseudoSource

Sourceval reserved_request : string list
Sourceval reserved_response : string list
Sourceval is_pseudo : string -> bool