Up – Package index » comby-kernel » Library comby-kernel.language » Language » Alpha_parser

Module `Language.Alpha_parser`Source

Sourceval variable_parser : 'a MParser.state -> (string, 'a) MParser.reply

Sourceval value_parser : 'a MParser.state -> (string, 'a) MParser.reply

Sourceval operator_parser : 'a MParser.state -> (string, 'a) MParser.reply

Sourceval atom_parser : 'a MParser.state -> (Ast.atom, 'a) MParser.reply

val rewrite_template_parser : 
  'a MParser.state ->
  (Ast.expression, 'a) MParser.reply