Home Manual Topics Types Symbols

std_types::positive_integer/std::div

implements the *div* operation

Parameters

None

Results

None

Implements

divide two integer numbers

(defined in runtime_templates/number.template)