pub fn verify_module(
m: &Module,
) -> Result<BTreeMap<WeftHash, Verified>, WeftError>Expand description
Verify every definition in a module: types, effect rows (transitive), contract typing, call closure — and compute static fuel bounds. Verification is per-hash cacheable: same hash, same verdict, forever.