Skip to main content

Module parser

Module parser 

Source
Expand description

Parser for invariant DSL expressions.

Structs§

InvariantParser
Parser for invariant DSL.

Functions§

parse_invariant
Parse a complete invariant definition string.