package datalog

  1. Overview
  2. Docs

Unix Interpreted Predicates

module TopDown = Datalog_top_down
module type S = sig ... end
module Make (TD : TopDown.S) : S with module TD = TD
OCaml

Innovation. Community. Security.