resource Res = { oper my_oper : Str -> Str ; }