intrepreter: Fix the documentation of `Instance::is_true`
[nit.git] / lib / logic /
2016-04-22 Jean Privatlib: add logic library