Remove Nat from Hash, Inspect, Encode, Decode

This commit is contained in:
Richard Feldman 2024-01-22 15:02:53 -05:00
parent 5b2998966b
commit 502b0fddf2
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
10 changed files with 22 additions and 178 deletions

View file

@ -643,7 +643,7 @@ fn step_elem(
Variable::NATURAL,
index.to_string().into_boxed_str(),
IntValue::I128((index as i128).to_ne_bytes()),
IntBound::Exact(IntLitWidth::Nat),
IntBound::Exact(IntLitWidth::U64),
)),
degenerate: false,
}],