sig val read_config : ?verbose:bool -> string -> Ga_types.gvars end