module Pipe : sig ... end