Module aya.base
Package org.aya.core

Interface UntypedParam

All Known Implementing Classes:
LamTerm.Param, Term.Param
public interface UntypedParam

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    explicit()
     
    @NotNull LocalVar
    ref()
     
    default @NotNull LocalVar
    renameVar()
     
    default @NotNull org.aya.util.Arg<@NotNull Term>
    toArg()
     
    default @NotNull RefTerm
    toTerm()
     

  • Method Details

    • explicit

      @Contract(pure=true) boolean explicit()

    • ref

      @Contract(pure=true) @NotNull @NotNull LocalVar ref()

    • toArg

      @Contract(" -> new") @NotNull default @NotNull org.aya.util.Arg<@NotNull Term> toArg()

    • toTerm

      @Contract(" -> new") @NotNull default @NotNull RefTerm toTerm()

    • renameVar

      @Contract(" -> new") @NotNull default @NotNull LocalVar renameVar()