package apronext

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.