package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lambda.InnerSource

Low level interface

Sourcetype term = InnerTerm.t
Sourceval whnf : term -> term
Sourceval snf : term -> term
Sourceval eta_expand : term -> term
Sourceval eta_reduce : ?full:bool -> term -> term
Sourceval beta_red_head : term -> term