Lines Matching refs:Type
30 distfixop(Priority, Type, Pattern, Term)
31 where Priority is as usual, Type is currently only fx or fy (if
440 distfixop(Priority, Type, Pattern, Template) :-
444 atom(Type),
445 ( ( Type = fx, Right is Priority-1
446 ; Type = fy, Right = Priority
452 ; ( Type = xfx, Right is Priority-1
453 ; Type = xfy, Right = Priority
454 ; Type = yfx, Right is Priority-1
459 op(Priority, Type, Atom),