JavaScript is disabled on your browser.
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
frege.runtime
Interface Value
public interface
Value
All non-native Frege values, including
Lambda
s, implement
Value
.
Method Summary
Methods
Modifier and Type
Method and Description
int
constructor
()
Method Detail
constructor
int constructor()
Returns:
the zero based constructor number for algebraic data types, and 0 for functions.
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method