Lines Matching refs:var
202 fun parsefn var token nums args =
204 var
206 raise ERR ("<" ^ Hol_pp.term_to_string var ^ ">")
209 (List.map (fn (s, var, _) => (s, parsefn var)) bindings)
213 pairSyntax.mk_anylet (List.map (fn (_, var, t) => (var, t)) bindings, body)
244 fun parsefn var token nums args =
246 var
248 raise ERR ("<" ^ Hol_pp.term_to_string var ^ ">")
414 fun var_parsefn var token nums args =
416 var
418 raise ERR ("<" ^ Hol_pp.term_to_string var ^ ">")