Module properties

hydro_lang::compile::rewrites

Module properties 

Source
Available on crate feature build only.

Structs§

PropertyDatabase
Structure for tracking expressions known to have particular algebraic properties.

Functions§

properties_optimize