Module Unprime_seq

module Seq : sig ... end