Module OrdersTac.MakeOrderTac

Parameters

module O : Orders.EqLtLe
module P : sig ... end

Signature