package lambda

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception NotAChurchTerm

raised whenever a to_int conversion fails

val of_int : int -> L.term

of_int n converts n to lambda term

val to_int : L.term -> int

to_int t converts encoded number t to integer

val is_church : L.term -> bool

is_church t returns true if t is an encoded number

val convert_to_church : L.term -> L.term

convert_to_church t tries to convert a term t using different variables to a church term

OCaml

Innovation. Community. Security.