Cross Reference: /hets/HasCASL/test/Freetype.hascasl

Cross Reference: /hets/HasCASL/test/Freetype.hascasl

1

2

3

4

5

type t1 ::= c(s:?(Unit->Unit))

type t2 ::= c(s:?Unit->Unit)

type t2 ::= c(s:(?Unit->Unit))

type t3 ::= c(s:Logical->Unit)