Skip to main content

nat_min

Function nat_min 

Source
pub fn nat_min(a: Expr, b: Expr) -> Expr
Expand description

Nat.min a b.