parsing.ml

A lark-based parser. Generated data compatible with a sum type of the form data Expr = CapitalizedRuleName ... | ...

Definitions

Types

type GrammarError = String

type ParseError = String

Creating parsers

parser :
	String -> Either GrammarError (
		String -> Either ParseError a
	)

args: grammar, string