Parsing of s-expression
module type Parser_state : sig ... end
module type Parser_stack : sig ... end
module type Parser : sig ... end
module type Eager_parser : sig ... end
module type Conv : sig ... end
module type Parsexp : sig ... end