Fn

class Fn(name: String, call: (BigInt, BigInt) => BigInt) extends NormValue
trait NormValue
class Object
trait Matchable
class Any

Value members

Concrete methods

override def apply(term: NormValue): Process[NormValue]
Definition Classes
override def toTerm: Term
Definition Classes

Inherited methods

def asInt: Process[BigInt]
Inherited from:
NormValue
Inherited from:
NormValue
def errorDisplay: Option[String]
Inherited from:
NormValue
Inherited from:
NormValue
def get(key: RecordKey, up: Int): Process[NormValue]
Inherited from:
NormValue
Inherited from:
NormValue
def isAbstract: Boolean
Inherited from:
NormValue
def isUnit: Boolean
Inherited from:
NormValue
Inherited from:
NormValue
Inherited from:
NormValue
def position: Option[Position]
Inherited from:
NormValue
Inherited from:
NormValue
def view(context: NormValue): Term
Inherited from:
NormValue

Givens

Inherited givens