sig
  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
end