Module Sgn_type

module Sgn : sig ... end