package logtk

  1. Overview
  2. Docs
On This Page
  1. Classic view
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Classic view

type view = private
  1. | Var of int
  2. | BVar of int
  3. | App of symbol * LogtkType.t list * t list
    (*

    covers Const and App

    *)
  4. | NonFO
val view : t -> view