functor
(
X
:
sig
val
value :
Slap_S
.num_type list list
end
)
->
CNTMAT