Lines Matching refs:op
80 (\texttt{subsort}); operators (\texttt{op}) for building values of these
99 op _div_ : Nat NzNat -> Nat .
108 op _div_ : [Nat] [Nat] -> [Nat] .
262 \verb"op"\; \mathit{id}_1\; \verb"to"\; \mathit{id}_2\; \verb"."
266 \verb"op"\; \mathit{id}_1\; \verb"to"\; \mathit{id}_2\; \verb"[" \mathit{atts} \verb"]"
273 \verb"op"\; \mathit{id}_1 : \mathit{arity}\; \verb"->" \; \mathit{coarity}\;
278 \verb"op"\; \mathit{id}_1 : \mathit{arity}\; \verb"->" \; \mathit{coarity}\;
328 op update : Process -> Process .
329 op finished : Process -> Bool .
340 op _<_ : Process Process -> Bool .
383 \verb"op"\; \mathit{id}_1\; \verb"to"\; \mathit{id}_2\; \verb"."
387 \verb"op"\; \mathit{id}_1 : \mathit{arity}\; \verb"->" \; \mathit{coarity}\;
399 \verb"op"\; \mathit{term}_1\; \verb"to term"\; \mathit{term}_2\; .
430 op update to s_ .
441 op finished?(P:Process) to term P:Nat < 100 .
514 op empty : -> MSet{X} [ctor] .
515 op __ : MSet{X} MSet{X} -> MSet{X} [ctor assoc id: empty] .