Skip to main content

exp_expr_for_concrete_exponent

Function exp_expr_for_concrete_exponent 

Source
pub(crate) fn exp_expr_for_concrete_exponent(
    cx: &mut SymCx,
    base: SymExpr,
    exponent: usize,
) -> SymExpr