is mentioned by

Def vc_concl(v) == Case(v) Case vc_imp(x) = > x.concl Case vc_qimp(x) = > x.concl Default = > False	[vc_concl]
Def vc_hyp(v) == Case(v) Case vc_imp(x) = > x.hyp Case vc_qimp(x) = > x.hyp Default = > False	[vc_hyp]

In prior sections: core bool 1 mb list 1 mb collection mb automata 1

Try larger context: GenAutomata