Up – Index » acgtk » DatalogLib » Datalog » Make

Module `Datalog.Make`

Parameters
Signature

Parameters

module _ : UnionFind.Store

Signature

exception Fails

module UF : UnionFind.S

module Predicate : sig ... end

module Rule : sig ... end

module Program : sig ... end