package datalog

  1. Overview
  2. Docs

Module Datalog_unixSource

Unix Interpreted Predicates

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

Innovation. Community. Security.