Module Smt.MakeHorn

Parameters

module C : sig ... end

Signature