Cross Reference: Subtype5.hascasl
xref
: /
hets
/
HasCASL
/
test
/
Subtype5.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
var a: Type
types Ref a < Loc
type Loc := Ref a
op coerce : Ref a -> Loc