Up – Package index » acgtk » Library acgtkLib.acgData » AcgData » Environment

Module `AcgData.Environment`Source

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

Sourcemodule type Environment_sig = sig ... end

This module signature describes the interface for modules implementing environments

The functor that builds the environment

Source

module Environment : 
  Environment_sig
    with type Signature1.t = Acg_lexicon.Data_Lexicon.Signature.t
     and type Lexicon.t = Acg_lexicon.Data_Lexicon.t
     and type Signature1.term = Acg_lexicon.Data_Lexicon.Signature.term
     and type Signature1.stype = Acg_lexicon.Data_Lexicon.Signature.stype