HasCASL/test/B1.hascasl

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
class b, c, d, e, f, g

class Type < Type
class Type

class Type < Type

class d < a

class a < d


class a < a

class a < b
class b < d

class d < d
class d < a
type t:a

class h < a

class h < c

type a__b, [__] : a -> b

var x : a; y : Type; x : y

var x : s

var x: b

var x < t

type a __ : b