B1.hascasl revision c18e9c3c6d5039618f1f2c05526ece84c7794ea3
class b, c, d, e, f, g
class Type < Type
class Type
class Type : Type
class d < a
class a < (d,e,Type,(g,h))
class a < d
class a < a
class a : b
class b : (c,d,e)
class d : d
type t:a
class h : (a,b)
class h : c
class j : { v . v < t }
type a__b, [__] : a -> b
var x : a; y : Type; x : y
var x : s
var x: b
var x < t
type a __ : b