is_num

gapt.examples.church_numerals.is_num
object is_num

Checks if lambda expression is a Church numeral.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
is_num.type

Members list

Value members

Concrete methods

def apply(n: Expr): Boolean