sig
  module Make : functor (S : Lattice.S-> sig val init : unit -> unit end
end