• Home
• org.aya-prover.guest0x0
• base
• 0.16.3
• source code
• FnLike.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.aya.guest0x0.syntax.FnLike Maven / Gradle / Ivy

package org.aya.guest0x0.syntax;

import kala.collection.SeqView;
import kala.collection.immutable.ImmutableSeq;
import org.aya.guest0x0.util.LocalVar;
import org.aya.guest0x0.util.Param;
import org.jetbrains.annotations.NotNull;

public interface FnLike {
  @NotNull ImmutableSeq> telescope();
  @NotNull Term result();
  default @NotNull SeqView teleVars() {
    return telescope().view().map(Param::x);
  }
  default @NotNull SeqView teleRefs() {
    return teleVars().map(Term.Ref::new);
  }
}