export some_string as string_from_lib -- some_string must be renamed as string_from_lib in TS func some_string() -> string: <- "some_string_func" service TestService("test-service"): get_records(key: string) -> []string func append_records(peer: string, srum: *[]string): srum <- TestService.get_records(peer) func retrieve_records(peer: string) -> [][]string: records: *[]string -- srum in `append_records` should be renamed as `records` in resulted AIR append_records(peer, records) <- records