package acgtk
Abstract Categorial Grammar development toolkit
Install
Dune Dependency
Authors
Maintainers
Sources
acgtk-1.5.3.tar.gz
sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41
md5=04c1e14f98e2c8fd966ef7ef30b38323
doc/acgtkLib.datalogLib/DatalogLib/Datalog_AbstractSyntax/AbstractSyntax/Proto_Rule/index.html
Module AbstractSyntax.Proto_RuleSource
Source
type t = {proto_id : int;proto_lhs : Predicate.predicate;proto_rhs : Predicate.predicate list;(*represents the predicates of the rule.
*)
}