Package genlayer#

Top level#

Integer aliases#

It also have aliases for signed and unsigned integer types (such as u256) and bigint alias that can be used in storage unlike regular int

gl#

gl.vm#

gl.advanced#

gl.calldata#

gl.storage#

gl.evm#

gl.eq_principle#

gl.nondet#

gl.nondet.web#