package logtk

  1. Overview
  2. Docs
On This Page
  1. Head
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Logtk.HeadSource

Sourcetype var = Type.t HVar.t
Sourcetype t =
  1. | I of ID.t
  2. | B of Builtin.t
  3. | V of var
Sourceval term_to_head : Term.t -> t option

Return the head of a term if it can be expressed by Head.t

Sourceval term_to_args : Term.t -> Term.t list

Return the arguments of a term

include Interfaces.PRINT with type t := t
Sourceval to_string : t -> string
OCaml

Innovation. Community. Security.