2020-06-04 09:54:25 +02:00
|
|
|
let size_op = ((s: string)): nat => String.length(s);
|
2020-06-03 12:41:26 +02:00
|
|
|
|
2020-06-04 09:54:25 +02:00
|
|
|
let slice_op =
|
|
|
|
((s: string)): string => String.sub(1n, 2n, s);
|
2020-06-03 12:41:26 +02:00
|
|
|
|
2020-06-04 09:54:25 +02:00
|
|
|
let concat_syntax = ((s: string)) => s ++ "test_literal";
|