Module Mlpost.Concrete


module Concrete: sig .. end

val supported : bool
module CPoint: sig .. end
module CPath: sig .. end
val float_of_num : Num.t -> float

Compute the concrete value

The value of a num in bp

val cpoint_of_point : Point.t -> CPoint.t
val cpath_of_path : Path.t -> CPath.t

Simple functions for the opposite operations


val num_of_float : float -> Num.t
exactly Num.bp
val point_of_cpoint : CPoint.t -> Point.t
val path_of_cpath : CPath.t -> Path.t
val set_verbosity : bool -> unit

Some options (the mlpost tool takes care of them)


val set_prelude : string -> unit
set_prelude filename uses the prelude of the file filename for compilation of the tex snippets
val set_prelude2 : string option -> unit
set_prelude2 prelude uses this prelude for compilation of the tex snippets
val set_t1disasm : string option -> unit
Deprecated in a next release