Module with_.N

module type t = s