module ['module, 'CharT];

import 'module.(foo, bar);

foo(x:'CharT) = Int(x);