Module LogtkHORewriting.Seq

module Seq: sig .. end

val of_seq : LogtkHORewriting.t -> LogtkHORewriting.rule Sequence.t -> LogtkHORewriting.t
val to_seq : LogtkHORewriting.t -> LogtkHORewriting.rule Sequence.t