sig   module type Type =     sig       val datadir : string       val charmapdir : string       val unimapdir : string       val localedir : string     end end