sig
type
key = cst
type
data = int *
Lang
.
F
.term
val
get : key
->
data
end