Crate device_driver_mir 

Modules

model

Structs

MirOptions

PassTiming

Functions

find_min_max_addresses

Returns None if device has no objects that pass the filter

gen_docs

Generate docs for all object shapes

lower_ast

search_object

This assumes [passes::Assumption::NamesUnique]