int_of_num
gapt.examples.church_numerals.int_of_num
object int_of_num
Computes the int value of a Church numeral.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
int_of_num.type
Members list
In this article