package apronext

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Generatorext : sig ... end

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

module Tconsext : sig ... end

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

module Texprext : sig ... end

module Linconsext : sig ... end

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

module Abstractext : sig ... end

module Intervalext : sig ... end

module Scalarext : sig ... end

module Coeffext : sig ... end

module Environmentext : sig ... end

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

module Apol : sig ... end

module Abox : sig ... end

module Aoct : sig ... end