Module Multiset_intf.S.Seq

module Seq: sig .. end

val of_seq : Multiset_intf.S.t -> Multiset_intf.S.elt Sequence.t -> Multiset_intf.S.t

val to_seq : Multiset_intf.S.t -> Multiset_intf.S.elt Sequence.t

val of_coeffs : Multiset_intf.S.t ->
       (Multiset_intf.S.elt * Z.t) Sequence.t -> Multiset_intf.S.t

val to_coeffs : Multiset_intf.S.t -> (Multiset_intf.S.elt * Z.t) Sequence.t