module Equal: Generic_fun_equal
Generic_fun_equal
module type Equal = sig .. end
sig
end
module Sumprod: Equal
Equal
module Conlist: Equal
module Spine: Equal