swipl

Bindings to SWI-Prolog for OCaml
Library swipl.__private__.bindings
Module Bindings . Stubs

Parameters

Signature

module Term : sig ... end
module CVT : sig ... end
module Q : sig ... end
module Result : sig ... end
module Database : sig ... end
module File : sig ... end
module Action : sig ... end
module VersionInfo : sig ... end