package acgtk
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>