Module Datalogl

module type CONSTANT = sig ... end

Input signature of the functor Make.

module type S = sig ... end

Output signature of the functor Make.

module Make (Constant : CONSTANT) : S with type constant = Constant.t

Functor building a Datalog implementation for the given constant type.