sig type key = Matrix.matrix type data = Lang.lfun val get : key -> data end