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.datalogLib/datalogLib.ml.html
Source file datalogLib.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31(* generated by dune *) (** @canonical DatalogLib.ArrayTraversal *) module ArrayTraversal = DatalogLib__ArrayTraversal (** @canonical DatalogLib.Datalog *) module Datalog = DatalogLib__Datalog (** @canonical DatalogLib.Datalog_AbstractSyntax *) module Datalog_AbstractSyntax = DatalogLib__Datalog_AbstractSyntax (** @canonical DatalogLib.Dl_lexer *) module Dl_lexer = DatalogLib__Dl_lexer (** @canonical DatalogLib.Dl_parse_functions *) module Dl_parse_functions = DatalogLib__Dl_parse_functions (** @canonical DatalogLib.Dl_parser *) module Dl_parser = DatalogLib__Dl_parser (** @canonical DatalogLib.Errors *) module Errors = DatalogLib__Errors (** @canonical DatalogLib.Messages *) module Messages = DatalogLib__Messages (** @canonical DatalogLib.PersistentArray *) module PersistentArray = DatalogLib__PersistentArray (** @canonical DatalogLib.UnionFind *) module UnionFind = DatalogLib__UnionFind