package comby-kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val variable_parser : 'a MParser.state -> (string, 'a) MParser.reply
val value_parser : 'a MParser.state -> (string, 'a) MParser.reply
val operator_parser : 'a MParser.state -> (string, 'a) MParser.reply
val atom_parser : 'a MParser.state -> (Ast.atom, 'a) MParser.reply
val rewrite_template_parser : 'a MParser.state -> (Ast.expression, 'a) MParser.reply