Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] replace get_type by get_type_or_null when we are defining types