Functor Analysis.Make


module Make: 
functor (S : Lattice.S) -> sig .. end
Parameters:
S : Lattice.S

val init : unit -> unit