redex Reducible Expression. An expression matching the left hand side of a {reduction rule} or definition.
版权所有 © 2024 3Dict.cn