min method

A min(
  1. A a1,
  2. A a2
)

Implementation

A min(A a1, A a2) => lt(a1, a2) ? a1 : a2;