Lines Matching refs:guard
79 - guard g
85 val PMATCH_ROW_COND_def = zDefine `PMATCH_ROW_COND pat guard inp v =
86 (pat v = inp) /\ (guard v)`
89 val PMATCH_ROW_def = zDefine `PMATCH_ROW pat guard rhs i =
90 (OPTION_MAP rhs (some v. PMATCH_ROW_COND pat guard i v))`
218 ``PMATCH_ROW_COND pat guard inp v =
219 ((inp = pat v) /\ (guard v))``,
1176 var to the guard. *)
1207 and add the guard in form of a conditional.
1208 Notice that all the rows after the guard are