Module `Datalog_unix`

Unix Interpreted Predicates

module TopDown = Datalog_top_down

module type S = sig ... end

module Make : functor (TD : TopDown.S) -> S with module TD = TD

module Default : S with type TD.DB.t = TopDown.Default.DB.t and module TD.Const = TopDown.Default.Const