package libabsolute

  1. Overview
  2. Docs

Functor parametrized by an abstract domain and defines the three main solving functions

module Make (D : Signature.Domain) : sig ... end
OCaml

Innovation. Community. Security.