GT.gmap_list_t
constraint 'b = 'sa list
method c_Cons : unit -> 'self -> 'a -> 'a list -> 'b
method c_Nil : unit -> 'self -> 'b