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=d0c41838de4c39f54cc181ec84d9ce17b950b57df6884893731802aef6993bac

md5=12ecc5c002154d81af1b14023f2c2245

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