Sourcemodule Bogue : sig ... end