Function build_lean_nat_usize

crates/ffi/src/compile.rs:63–65

Build a Lean Nat from a usize.

(n: usize)

fn build_lean_nat_usize(n: usize) -> LeanOwned {
  LeanOwned::from_nat_u64(n as u64)
}

// =============================================================================
// Raw* Builder Functions for Compile FFI
// =============================================================================