Module leo_ast::common::input_keyword

Structs

InputKeyword

The input keyword can view program register, record, and state values. Values cannot be modified. The input keyword cannot be made mutable.