Up – Package index » datalog » Library datalog.unix » Datalog_unix

Module `Datalog_unix`Source

Unix Interpreted Predicates

Sourcemodule TopDown = Datalog_top_down

Sourcemodule type S = sig ... end

Sourcemodule Make (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