package logtk

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

Low level interface

type term = InnerTerm.t
val whnf : term -> term
val snf : term -> term
val eta_expand : term -> term
val eta_reduce : ?expand_quant:bool -> ?full:bool -> term -> term
val beta_red_head : term -> term
OCaml

Innovation. Community. Security.