blob: 23b0543c1fedb7dc6e7458a94502e53afb4738c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
t = O (_t1::a0)
t :: Opaque = O _
_t1 :: a0 = _
()
t = O ((_t2::a0) : (_t3::[a0]))
t :: Opaque = O (_ : _)
_t1 :: [a] = _ : _
it :: () = ()
_t3 :: [a0] = _
_t2 :: a0 = _
()
t = O (Just [1,1] : (_t4::[Maybe [Integer]]))
()
t = O (Just [1,1] : (_t5::Maybe [Integer]) :
(_t6::[Maybe [Integer]]))
|
