package alt-ergo-lib

You can search for identifiers within the package.

in-package search v0.2.0

The Alt-Ergo SMT prover library

Install

sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9

md5=d99bfaf748f7c640222e59677e6afd7c

Sourcetype 'a abstract

Sourcemodule type ALIEN = sig ... end

module Shostak
  (X : ALIEN) : 
  Sig.SHOSTAK with type r = X.r and type t = X.r abstract