Module aya.base

Package org.aya.concrete.stmt.decl

Interface TeleDecl.FnBody

All Known Implementing Classes:

TeleDecl.BlockBody, TeleDecl.ExprBody

Enclosing class:

TeleDecl<RetTy extends Term>

public static sealed interface TeleDecl.FnBody
permits TeleDecl.ExprBody, TeleDecl.BlockBody

Method Summary

Modifier and Type	Method	Description
TeleDecl.FnBody	map(@NotNull UnaryOperator<Expr> f, @NotNull UnaryOperator<Pattern.Clause> g)

Method Details

map

TeleDecl.FnBody map(@NotNull
 @NotNull UnaryOperator<Expr> f,
 @NotNull
 @NotNull UnaryOperator<Pattern.Clause> g)