B1.hascasl revision d67a0dfffeb04713ec069870109a732a94fae779
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