模块 aya.base

程序包 org.aya.core.term

接口 CallTerm.Factory<D extends Def,S extends Decl>

封闭接口:

CallTerm

函数接口:

这是一个函数接口, 因此可用作 lambda 表达式或方法引用的赋值目标。

@FunctionalInterface
public static interface CallTerm.Factory<D extends Def,S extends Decl>

This exists solely for simplifying code in the tycker.

方法概要

修饰符和类型	方法	说明
@NotNull CallTerm	make(DefVar<D,S> defVar, int ulift, kala.collection.immutable.ImmutableSeq<@NotNull Arg<Term>> args)

方法详细资料

make

@Contract(pure=true,
          value="_,_,_->new")
@NotNull
@NotNull CallTerm make(DefVar<D,S> defVar,
 int ulift,
 kala.collection.immutable.ImmutableSeq<@NotNull Arg<Term>> args)