Skip to main content

Module parser

vest_lib::core::exec

Module parser 

Source
Expand description

Executable parser traits.

Traits§

Parser
An executable parser proved equivalent to a pure SpecParser.

Functions§

lemma_ref_safe_productive_inv
parse_matches_spec

Type Aliases§

PResult
Result returned by an executable parser.