Lines Matching refs:Arg
79 arg(N, Term, Arg),
80 ground(Arg),
102 % arg(N, Term, Arg),
103 % occurs_in(Var, Arg),
123 arg(N, Term, Arg),
124 subterm(SubTerm, Arg).
201 % arg(N, Term, Arg),
202 % occurs_check(Arg, Var),
230 arg(N, Term, Arg),
231 variables_of(Arg, Sofar, Mid),