Module N_as_OT.Private_OrderTac

module IsTotal : sig ... end
module Tac : sig ... end