Type rational

type rational = {num: int, den: int,}

A rational number

Function id

pure fn id<T: copy>(x: T) -> T

The identity function

Function rational_leq

pure fn rational_leq(x: rational, y: rational) -> bool