nx_mul_pair.nx source
↩ module page · 23 lines · 727 B
1// nx_mul_pair.nx -- AUTO-GENERATED from shape `scalar_pair_op`.
2//
3// Shape: function taking two nx_int returning nx_int. return a * b is the
4// complete imperative function body (one or more statements). No
5// human-authored body for this primitive.
6//
7// genealogy_id:
8// lineage_id: scalar_pair_op
9// license: public_domain
10// complexity: O(1)
11
12// nx_safety_envelope:
13// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
14// sil_target: SIL1
15// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
16// verdict: NOT_YET_EVALUATED
17
18import "nx_syscalls.nx"
19import "nx_tier.nx"
20
21func nx_mul_pair(a: nx_int, b: nx_int) -> nx_int {
22 return a * b
23}