Module LogtkPrecedence_intf.S.Seq

module Seq: sig .. end

val symbols : LogtkPrecedence_intf.S.t -> LogtkPrecedence_intf.S.symbol Sequence.t