sig val print : Format.formatter -> G.t -> unit end