Constructors for OCaml polyhedra Access functions for OCaml polyhedra Predicates on OCaml polyhedra Change of dimension of OCaml polyhedra Intersection & Convex Hull of OCaml polyhedra Linear transformations on OCaml polyhedra Widening operators on OCaml polyhedra Closure operation on OCaml polyhedra Input & Output of OCaml polyhedra