Biblioteca de programação genérica para derivação generalizada
