blob: e386818976183ae27bf11e1edb994e7d5db8faa8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
unit p where
signature H where
data T = T Int
unit h where
module T where
data T = T Bool
module H(T(..)) where
import T
signature A where -- indefinite version
unit q where
dependency p[H=h[A=<A>]:H]
|