hydro_lang::rewrites

Module properties

Source

Structs§

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

Functions§

properties_optimize