Commit cbd8f4b6 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

generate documentation for all modules

parent a311623c
......@@ -112,7 +112,7 @@ sig
val add_e_facts : program -> (ASRule.rule list*Datalog_AbstractSyntax.ConstGen.Table.table*IdGenerator.IntIdGen.t) -> program
(** [add_rule i r p] adds a [ASRule.rule] to a [Datalog.Program]
with the assumption that it will not change the {em nature} of
with the assumption that it will not change the {e nature} of
any predicate (that is making it change from extensional to
intensional). If [i] is set to true, then the rule concerns an
intensional predicate. If it is set to [false] then it
......
......@@ -89,4 +89,4 @@
))
(documentation (package acgtk))
(documentation (package acgtkLib))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment