package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/acgtk.grammars/Grammars/Term_sequence_parser/index.html

Module Grammars.Term_sequence_parserSource

Sourcetype associativity =
  1. | Left
  2. | Right
  3. | NonAss
Sourcetype fixity =
  1. | Prefix
  2. | Infix of int * associativity
Sourcetype term =
  1. | Var of string
  2. | Cst of string
  3. | App of term * term
  4. | Abs of string * term
Sourcetype token =
  1. | Term of term
  2. | Op of string * fixity
Sourceval next : token list -> token option * token list
Sourceval parse_sequence : token list -> token option -> token list -> term
Sourceval to_string : term -> string
Sourcemodule SMap : Map.S with type key = string
Sourcetype sig_info = fixity SMap.t
Sourceval test_sig : sig_info
Sourceval get_fixity : string -> sig_info -> fixity