package acgtk

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

This module contains the type of errors linked to types in lambda-terms.

type t =
  1. | AlreadyDefinedVar of string
  2. | NotDefinedVar of string
  3. | NotDefinedConst of string
  4. | NotWellTypedTerm of string * string
  5. | NotWellTypedTermPlus of string * string * string
  6. | NotWellKindedType of string
  7. | NonLinearVar of string
  8. | LinearVar of string
  9. | IsUsed of string * string
  10. | TwoOccurrencesOfLinearVariable of UtilsLib.Error.pos
  11. | NonEmptyContext of string * UtilsLib.Error.pos * UtilsLib.Error.pos * string
  12. | NotNormal
  13. | VacuousAbstraction of string * UtilsLib.Error.pos
  14. | Other
val kind : string
val pp : Stdlib.Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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