gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.church_numerals/cond

cond

gapt.examples.church_numerals.cond
object cond

Conditional if c = 0 then e1 else e2

Attributes

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

Members list

Value members

Concrete methods

def apply(e1: Expr, e2: Expr, c: Expr): Expr
Generated with