package logtk

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

Defined positions for Defined Functions

module Fmt = CCFormat
type t =
  1. | P_active
  2. | P_invariant
  3. | P_accumulator

positions that are immediate arguments of some defined constant can be classified as follows:

  • active position (patterns on LHS of rules)
  • invariant positions (variable on LHS and RHS of rules)
  • accumulator positions (variable on LHS, non-variable on RHS)
type pos = t
val equal : t -> t -> bool
val pp : Fmt.t -> t -> unit
module Arr : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct