Telecharger Cours

alain mingat - IREDU

let proj_g r = match r.g with Pre v -> v let exten_e r x = { e = Pre x; f = r.f; g = r.g } let exten_f r x = { e = r.e; f = Pre x; g = r.g } let exten_g r x ...



Download