module importm42. accumulate importm41. type b i. type p i -> o. type q i -> o. type r i -> o. type a i. (p b) :- (q X). (r b) :- (q a).
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
74
