use signature for StringSet

This commit is contained in:
2024-09-08 05:05:16 +01:00
parent 5d121f3864
commit 0d571468e7

View File

@@ -1,4 +1,27 @@
structure StringSet =
signature STRING_SET =
sig
type t
val empty: t
val isEmpty: t -> bool
val fromString: string -> t
val exists: string * t -> bool
val getPrefixList: string * t -> string list
val insert: string * t -> t
val remove: string * t -> t
val fromList: string list -> t
val toList: t -> string list
end
structure StringSet: STRING_SET =
struct
datatype t =
CHILDREN of {keys: string vector, children: t vector}