package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.