Module hydro_lang::rewrites::properties

Structs

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

Functions

• properties_optimize