blob: 1547185b1d99e0949ac08d635ab729e753216a8a (
plain)
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
|
unit p where
signature A where
data A
signature B where
data B
module P where
import A
import B
data P = M A B
unit a where
module A where
data A = A
unit b where
module B where
data B = B
unit q where
dependency p[A=a:A,B=<B>]
dependency a
module Q where
import A
import B
import P
data Q = Q P A B
unit r where
dependency q[B=b:B]
dependency b
module R where
import B
import Q
data R = R Q B
|
