sig
type
key =
LITERAL
.t
type
data =
Lang
.
F
.term
val
get : key
->
data
end