Skip to main content

lemma_parser_congruent_reflexive

vest_lib::combinators::congruence

Function lemma_parser_congruent_reflexive 

Source 
pub broadcast proof fn lemma_parser_congruent_reflexive<A: SpecParser>(a: A)
Expand description
ensures
#[trigger] parser_congruent(a, a),