package apronext

  1. Overview
  2. Docs

Module ApronextSource

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
OCaml

Innovation. Community. Security.