-
Glen Mével authored
refactored implicit parameters of the translation (tick) and of tick (runtime_error and the location); notations are now defined only once
4b59cf37
refactored implicit parameters of the translation (tick) and of tick (runtime_error and the location); notations are now defined only once