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.logic/logic.ml.html
Source file logic.ml
1 2 3 4 5 6 7 8 9 10 11 12 13(* generated by dune *) (** @canonical Logic.Abstract_syntax *) module Abstract_syntax = Logic__Abstract_syntax (** @canonical Logic.Lambda *) module Lambda = Logic__Lambda (** @canonical Logic.TypeInference *) module TypeInference = Logic__TypeInference (** @canonical Logic.VarUnionFind *) module VarUnionFind = Logic__VarUnionFind