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