public Expression VisitZenStringLengthExpr(ZenStringLengthExpr expression, ExpressionConverterEnvironment parameter)
{
return(LookupOrCompute(expression, () =>
{
var e = expression.Expr.Accept(this, parameter);
return Expression.Convert(Expression.PropertyOrField(e, "Length"), typeof(BigInteger));
}));
}
public ImmutableHashSet <object> VisitZenStringLengthExpr(ZenStringLengthExpr expression, Unit parameter)
{
throw new ZenException($"Invalid string type used with Decision Diagram backend.");
}
