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