Up – Package index » ACGtk documentation index » Sources » acgtk.scripting » config.mlACGtk documentation index ACGtk developper documentation Scripting language ACGtk user documentation Library acgtk.acgData Library acgtk.containers Library acgtk.datalogLib Library acgtk.dump Library acgtk.grammars Library acgtk.logic Library acgtk.magicRewriting Library acgtk.scripting Library acgtk.svg Library acgtk.svg_cairo Library acgtk.svg_dummy Library acgtk.utilsLib Sources acgtk.acgData acgtk.containers acgtk.datalogLib acgtk.dump acgtk.grammars acgtk.logic acgtk.magicRewriting acgtk.scripting acgtk.svg_cairo acgtk.svg_dummy acgtk.utilsLib 1
2
3
4
5
6
7
type config = {
dirs : string list ;
rendering_config : SvgLib . Svg . config ;
step_by_step : bool ;
with_magic : bool ;
width : int option ;
}