Home Manual Topics Types Symbols

std_types::positive_integer/std::over

implements the *over* operation

Parameters

None

Results

None

Implements

divide two numbers of any kind

(defined in runtime_templates/number.template)