~/jendhub

law F32.is_lt

Base · base.bend:1802

import Base
1802law F32.is_lt:
1803  for a: F32
1804  for b: F32
1805  Bool

Uses (2)

Used by (113)