Skip to main content

Module trans_macros

vstd_extra

Module trans_macros 

Source

Macrosยง

assert
borrow_field
update_field