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