functor
(
T
:
TYPE
)
->
sig
type
t =
T
.t
val
get : string
->
t
val
set : string
->
t
->
unit
end