Cross Reference: ClassKinds.hascasl.output
xref
: /
hets
/
HasCASL
/
test
/
ClassKinds.hascasl.output
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
classes C, D
type t : C -> C -> C
type t : +C -> C -> C
type t : C -> -C -> C
type t : -C -> +C -> C
type s : (+C -> C) -> C
type s : (D -> D) -> D
classes
C < Type;
D < Type
types
s : (+C -> C) -> C;
s : (D -> D) -> D;
t : +-C -> +-C -> C