package zelus

  1. Overview
  2. Docs
module type ZELUS_SOLVER = sig ... end

Interface for compiled functions

Interface for compiled functions

OCaml

Innovation. Community. Security.