sig val get : unit -> G.t end