meta/src/main/java/org/arend/lib/meta/UnfoldLetMeta.java [17:29]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public boolean[] argumentExplicitness() {
    return new boolean[] { true };
  }

  @Override
  public boolean allowExcessiveArguments() {
    return false;
  }

  @Override
  public @Nullable ConcreteExpression getConcreteRepresentation(@NotNull List<? extends ConcreteArgument> arguments) {
    return arguments.get(0).getExpression();
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



meta/src/main/java/org/arend/lib/meta/UnfoldsMeta.java [18:30]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public boolean[] argumentExplicitness() {
    return new boolean[] { true };
  }

  @Override
  public boolean allowExcessiveArguments() {
    return false;
  }

  @Override
  public @Nullable ConcreteExpression getConcreteRepresentation(@NotNull List<? extends ConcreteArgument> arguments) {
    return arguments.get(0).getExpression();
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -