package alt-ergo-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type S = sig ... end
module Internal : S
module Skolem : S
module Abstract : S
val reinit : unit -> unit

Resets the fresh_internal_name, fresh_skolem and fresh_abstract counters.

OCaml

Innovation. Community. Security.