
sig expdef.

kind i type.


exportdef foo1  i -> o.


exportdef foo2  i -> o.

% no definitions in expdef
exportdef foo3  i -> o.

type      foo5  i -> o.
exportdef foo5  i -> o.


type      foo6  i -> o.
exportdef foo6.


