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=69418b8b959f695de06a85347d554efd5f2dd28a58a976e3f354abf9a58e108c

md5=efdf062a6bfdc1505637591b37334a28

Dynlink wrapper

A wrapper of the Dynlink module: we use Dynlink except when we want to generate a static (native) binary *

type error

Type error, as in Dynlink.error

exception Error of error

Error exception, as in Dynlink.Error

val error_message : error -> string

Error messages as strings, as in Dynlink.error_message

val loadfile : string -> unit

Load a compiled file, as in Dynlink.loadfile.