Module LogtkMultiset.S.Seq

module Seq: sig .. end

val of_seq : LogtkMultiset.S.t -> LogtkMultiset.S.elt Sequence.t -> LogtkMultiset.S.t
val to_seq : LogtkMultiset.S.t -> LogtkMultiset.S.elt Sequence.t
val of_coeffs : LogtkMultiset.S.t ->
(LogtkMultiset.S.elt * Z.t) Sequence.t -> LogtkMultiset.S.t
val to_coeffs : LogtkMultiset.S.t -> (LogtkMultiset.S.elt * Z.t) Sequence.t