structure Config :> CONFIG = struct

open ConfigDefault

end