blob: 20c3c79415d3fd029ebb6aba8db9e478a4a58db2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
module Imp500Aux where
import Imp500
data T1 a
data T2 a b
data T3 a b c
data T4 a b c d
data T5 a b c d e
data T6 a
data T7 a b
data T8 a b c
data T9 a b c d
data T10 a b c d e
|