package acgtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Lexing_o = Stdlib.Lexing
module Syntax_l : sig ... end

This module contains the type for syntax errors in scripts.

module SyntaxErrors : sig ... end
module Lexing_l : sig ... end

This module contains the type for lexing errors in scripts.

module LexingErrors : sig ... end
module Type_l : sig ... end

This module contains the type for typing errors, in the scripting language, not in the lambda-terms.

module TypeErrors : sig ... end
module Script_l : sig ... end

This module contains the type for other script errors.

module ScriptErrors : sig ... end