Cross Reference: /hets/HasCASL/test/Alias.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
types S, T
type Binary := S * S -> T
var s: Type
type MyPred s := s ->? Unit
type MyAlias t := t ->? Unit
type a1 a b := a -> b -> Unit
type a1 (a) (b) := a -> b -> Unit
type a2 a b := a -> Unit
type a3 (a) (a) := a -> Unit
type a4 a a := a -> Unit
type a5 a
type a5 a := a5 a -> Unit
type a6 a
type a7 a := a6 a -> Unit
type a6 a := a7 a -> Unit
type a2 : Type -> Type