Annotated Source Files (M):
modulo_type_generic.ads