Module hua_core::extra::mem

source · [−]
Expand description

Memory operations.

Functions

replace_by

Replaces a variable by another that is calculated by the predicate.