Cross Reference: Constrain.hascasl
xref
: /
hets
/
HasCASL
/
test
/
Constrain.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
2
N/A
class Eq
2
N/A
class Ord < Eq
2
N/A
2
N/A
type a : Ord
2
N/A
2
N/A
op f : forall e : Ord . e -> e
2
N/A
2
N/A
op c : a
2
N/A
2
N/A
. f (f c) = c
2
N/A
2
N/A
type t : Eq
2
N/A
2
N/A
op b : t
2
N/A
2
N/A
. f b = b
2
N/A