6 lines
171 B
Plaintext
6 lines
171 B
Plaintext
let size_op = (s: string): nat => String.length(s);
|
|
|
|
let slice_op = (s: string): string => String.sub(1n, 2n, s);
|
|
|
|
let concat_syntax = (s: string) => s ++ "test_literal";
|