function max

Integer ::= l::Integer r::Integer

In file: Math.sv

function min

Integer ::= l::Integer r::Integer

In file: Math.sv