Parma_Polyhedra_Library::Interfaces::OCaml Namespace Reference

Data and functions related to the OCaml language interface. More...

Detailed Description

Data and functions related to the OCaml language interface.