package alt-ergo-lib

  1. Overview
  2. Docs
val clear_cache : unit -> unit

Empties the internal cache of the module.

make acc stmt Makes one or more Commands.sat_tdecl from the type-checked statement stmt and appends them to acc.

OCaml

Innovation. Community. Security.