Pa_gt.Extension
val hdtl : 'a -> 'b list -> 'b * 'b list
val trait_proto_t : string -> string -> string