Module ZZ3_sigs

module ZZ3_sigs: sig .. end

Signatures for z3overlay.

module type Context = sig .. end

Input signature of the functor, only a context.

module type S = sig .. end

Output signature of the functor.