EqRSPrf1 (reference) in projects: dports

Searched refs:EqRSPrf1 (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/
H A D	Syntax.hs	`28 data EqReasoningState = EqRSNone \| EqRSChain \| EqRSPrf1 \| EqRSPrf2 \| EqRSPrf3 constructor`
H A D	SearchControl.hs	`279 _ \| eqrstate == EqRSPrf1 -> generics ++ [eq_sym, eq_cong]`
H A D	Typecheck.hs	`781 …_ \| c == eqrcStep cs -> fs [EqRSNone, EqRSNone, EqRSNone, EqRSNone, EqRSNone, EqRSPrf1, EqRSChain]…`