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

dune-project

Dependency

sha256=df56045a3af79fbcfbd1deeaf09012d5bc390b4c2223e1d9c25c11c301d9eeba

sha512=ff83e5ce7598bc30509be8ca2c14d791856b0269f852903f81216ae1cbc27737d90b6313176fa24768944433b875811ee19b51fc821948634ea678dbcca4befb

This module provides a registry type to access and update a single "current" instance associated with multiple global domain types.

type t

Maps global domain modules (of type 'a global_domain) to an associated domain of the corresponding type 'a.

val empty : t

empty maps all domain modules D to their default domain D.empty.

val find : 'a global_domain -> t -> 'a

find (module D) t returns the global domain associated with the domain module D. Defaults to D.empty.

val add : 'a global_domain -> 'a -> t -> t

add (module D) d t registers the global domain d for the domain module D. Overwrite any pre-existing global domain associated with D.