Module Pa_gt.ExtensionSource

Sourceval hdtl : 'a -> 'b list -> 'b * 'b list
Sourceval trait_proto_t : string -> string -> string