5 lines
88 B
Plaintext
5 lines
88 B
Plaintext
|
(* Test set operations in CameLIGO *)
|
||
|
|
|
||
|
|
let size_op (s: string set) : nat =
|
||
|
|
Set.size s
|