package acgtk

  1. Overview
  2. Docs
module Acg_lexicon : sig ... end
module Environment : sig ... end

This modules implements a functor that build an environment containing signatures and lexicons when provided with to actual implementations of a signature and a lexicon

module Error : sig ... end

This module gives some types and some utilities to mange, emit and display messages

module Interface : sig ... end

This module signature describes the interface for modules implementing signatures

module Reduction : sig ... end
module Signature : sig ... end
module Type_system : sig ... end