package apronext

You can search for identifiers within the package.

in-package search v0.2.0

package apronext

apronext
- Library apronext
  - Apronext
    
    Generatorext
    
    Tconsext
    
    Texprext
    
    Linconsext
    
    Abstractext
    
    Intervalext
    
    Scalarext
    
    Coeffext
    
    Environmentext
    
    Apol
    
    A
    
    G
    
    T
    
    L
    
    E
    
    Abox
    
    A
    
    G
    
    T
    
    L
    
    E
    
    Aoct
    
    A
    
    G
    
    T
    
    L
    
    E
- Sources
  - apronext
    
    abox.ml
    
    abstractext.ml
    
    aoct.ml
    
    apol.ml
    
    apronext.ml
    
    apronext__.ml
    
    array_maker.ml
    
    coeffext.ml
    
    domain.ml
    
    environmentext.ml
    
    generatorext.ml
    
    intervalext.ml
    
    linconsext.ml
    
    scalarext.ml
    
    tconsext.ml
    
    texprext.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file `abox.ml`

1
2
3
4
include Domain.Make(struct
  type t = Box.t
  let man = Box.manager_alloc ()
end)