fun m : Int is extern `{ return 10; `}
- fun n : String is extern import NativeString::to_s `{
+ fun n : String is extern import NativeString.to_s `{
return NativeString_to_s( "allo" );
`}
- fun o ( str : String ) is extern import String::to_cstring `{
+ fun o ( str : String ) is extern import String.to_cstring `{
f( String_to_cstring( str ) );
`}