Lines Matching refs:ctx
401 (\{K \ v\} \ \cup \ ctx) \ \Rightarrow \ \tau & \Longrightarrow
402 \ (ctx \Rightarrow \tau)'
421 instance \ ctx \ \Rightarrow \ K_T \ (T \ v_1 \ \ldots \ v_n) \ where \\
427 \in ctx\}, \\
430 \{pcpo\} \ \cup \ \{K':(K \ v_n) \in ctx\}) \\
432 \qquad defs \ f'_{\tau 1} :: (ctx \Rightarrow \tau_1)' = t'_1; \\
434 \qquad \qquad f'_{\tau n} :: (ctx \Rightarrow \tau_n)' = t'_n
728 (\{K \ v\} \ \cup \ ctx) \ \Rightarrow \ \tau & \Longrightarrow
729 \ (ctx \Rightarrow \tau)'
883 instance \ ctx \ \Rightarrow \ K_T \ (T \ v_1 \ \ldots \ v_n) \ where \\
888 \in ctx\}, \\
890 \ldots, \ \{pcpo\} \ \cup \ \{K':(K \ v_n) \in ctx\}) \\
893 f'_1 :: (ctx \Rightarrow \tau_1)' == t'_1; \ \ldots; \ f'_n ::
894 (ctx \Rightarrow \tau_n)' == t'_n\\
1220 ctx \ = & \{K \ v\} \ \cup \ ctx & \\
1226 \phi \ = & ctx \Rightarrow \tau \\
1227 & \qquad \mbox{where \ all \ variables \ in} \ ctx \ \mbox{are \ in} \ \tau
1258 & data \ ctx \ \Rightarrow \ T \ \overline{v} \ =
1262 & ctx \ \Rightarrow \ f \ :: \ \tau \\
1274 & instance \ ctx \Rightarrow K \ \tau \ where \
1335 & instance \ ctx \Rightarrow K \ \tau \ where \