module m2.
type a, b, c o.

c:-a.
b.

module m1.
import m2.

a:-b.