Lines Matching refs:pattern
54 \item[\pattern{Result} is \pattern{Expression}]\indextt{is/2}
62 \item[\pattern{Expr1} $<$ \pattern{Expr2}]\indextt{</2}
66 \item[\pattern{Expr1} $>=$ \pattern{Expr2}]\indextt{>=/2}
70 \item[\pattern{Expr1} $>$ \pattern{Expr2}]\indextt{>/2}
74 \item[\pattern{Expr1} $=<$ \pattern{Expr2}]\indextt{=</2}
78 \item[\pattern{Expr1} =:= \pattern{Expr2}]\indextt{=:=/2}
82 \item[\pattern{Expr1} =\bsl= \pattern{Expr2}]%