null

Sort by

In Project(s)

Searched refs:ctx (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A D	hs2isa.tex	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 \ \Rightarro [all...]

Completed in 51 milliseconds