acgtk

Abstract Categorial Grammar development toolkit
Library acgtkLib.acgData
Module AcgData . Interface
module type Signature_sig = sig ... end

Exceptions raised when definitions of types or constants are duplicated

module type Lexicon_sig = sig ... end

This module signature describes the interface for modules implementing lexicons