Up – Package index » acgtk » Library acgtkLib.datalogLib » DatalogLib » Datalog » Make

Module `Datalog.Make`Source

Parameters

module S : UnionFind.Store

Sourceexception Fails

Sourcemodule UF : UnionFind.S

Sourcemodule Predicate : sig ... end

Sourcemodule Rule : sig ... end

Sourcemodule Program : sig ... end