Module Auxiliary


module Auxiliary: sig .. end
Auxiliary functions for internal use in HDCaml.

(Remove the String (**/**) in the .mli file to enable documentation.)