Up – Package index » acgtk » Library acgtkLib.datalogLib » DatalogLib » Datalog_AbstractSyntax » AbstractSyntax

Module `Datalog_AbstractSyntax.AbstractSyntax`Source

Sourcemodule Predicate : sig ... end

Sourcemodule Proto_Rule : sig ... end

Sourcemodule Rule : sig ... end

Sourcemodule Proto_Program : sig ... end

Sourcemodule Program : sig ... end