Module Smt.MakeFirstOrder

Parameters

module C : sig ... end

Signature