module Make : functor (V : Funarith__Simplex.VAR) -> sig ... end
module Make_full : functor (V : Funarith__Simplex.VAR_GEN) -> functor (L : sig ... end) -> sig ... end