Module `Lcalc.Ast`

Abstract syntax tree for the lambda calculus

Abstract syntax tree

type 'm naked_expr = ( Shared_ast.lcalc, 'm ) Shared_ast.naked_gexpr

and 'm expr = ( Shared_ast.lcalc, 'm ) Shared_ast.gexpr

type 'm program = 'm expr Shared_ast.program

Term building and management for the `option` monad

module OptionMonad : sig ... end