Lines Matching refs:pattern
88 \item[local macro(+\pattern{TermClass}, +\pattern{TransPred},
89 +\pattern{Options})]
94 \item[export macro(+\pattern{TermClass}, +\pattern{TransPred},
95 +\pattern{Options})]
98 \item[erase_macro(+\pattern{TermClass}, +\pattern{Options})]
102 \item[current_macro(?\pattern{TermClass}, ?\pattern{TransPred},
103 ?\pattern{Options}, ?\pattern{Module})]
114 \item[\pattern{Name}/\pattern{Arity}]
117 \item[type(\pattern{Type})]\index{type macros}\index{macros!type}
127 The \notation{+\pattern{TransPred}} argument specifies the predicate that will
131 \notation{\pattern{trans_function}(\pattern{OldTerm},~\pattern{NewTerm}%
132 ~[,~\pattern{Module}])~:-~...~.}
136 \notation{\pattern{trans_function}(\pattern{OldTerm},~\pattern{NewTerm},%
137 ~\pattern{OldAnn},~\pattern{NewAnn}~[,~\pattern{Module}])~:-~...~.}
151 bind the fourth argument. In both \pattern{TransPred} cases, the optional last
215 \item[local/export portray(+\pattern{TermClass},
216 +\pattern{TransPred}, +\pattern{Options}):]
222 \item[inline(+\pattern{PredSpec}, +\pattern{TransPred}):]