Skip to content

Add runtime operations between lib types and verified types #43

@mborland

Description

@mborland

A verified_u32 is fundamentally a u32. At run time u32 should be able to perform arithmetic operations, and comparisons using what is effectively a same type constant.

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions