package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install

Dune Dependency

Authors

Maintainers

Sources

acg-2.1.0-20240219.tar.gz
sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

doc/src/acgtk.acgData/acgData.ml.html

Source file acgData.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* generated by dune *)

(** @canonical AcgData.Acg_lexicon *)
module Acg_lexicon = AcgData__Acg_lexicon

(** @canonical AcgData.Environment *)
module Environment = AcgData__Environment

(** @canonical AcgData.Errors *)
module Errors = AcgData__Errors

(** @canonical AcgData.Reduction *)
module Reduction = AcgData__Reduction

(** @canonical AcgData.Signature *)
module Signature = AcgData__Signature

(** @canonical AcgData.Type_system *)
module Type_system = AcgData__Type_system
OCaml

Innovation. Community. Security.