package apronext

You can search for identifiers within the package.

in-package search v0.2.0

Module `Apronext`Source

Sourcemodule Generatorext : sig ... end

This file is an extension for the Generator1 module from the apron Library

Sourcemodule Tconsext : sig ... end

This file is an extension for the Tcons1 module from the apron Library

Sourcemodule Texprext : sig ... end

Sourcemodule Linconsext : sig ... end

This file is an extension for the Lincons1 module from the apron Library

Sourcemodule Abstractext : sig ... end

Sourcemodule Intervalext : sig ... end

Sourcemodule Scalarext : sig ... end

Sourcemodule Coeffext : sig ... end

Sourcemodule Environmentext : sig ... end

This file is an extension for the Environment from the apron Library

Sourcemodule Apol : sig ... end

Sourcemodule Abox : sig ... end

Sourcemodule Aoct : sig ... end