package logtk

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

Classic view

This module provides a first-order view on terms, for code that focuses on first-order logic.

Comparison, equality, containers

type view = private
  1. | Var of var
  2. | DB of int
  3. | App of ID.t * t list
    (*

    covers Const and App

    *)
  4. | AppBuiltin of Builtin.t * t list
  5. | NonFO
    (*

    any other case

    *)
val view : t -> view
OCaml

Innovation. Community. Security.