PrintForm Definitions grammar 1 Sections AutomataTheory Doc

At: g init wf

V,T:Type, g:Grammar(V;T). g.init V
By: ModulePiTac 2 [`g_prod`;`g_init`]
Generated subgoals:

None

About:
alluniversemember