Module Svg_rendering.Rendering_configSource

Sourcetype engine =
  1. | STRINGS
  2. | LOGIC
  3. | DERIVED_TREES
  4. | TREES
  5. | DEFAULT
Sourcetype config
Sourceval get_config : string -> string list -> config
Sourceval default : config
Sourceval background_color : config -> int * int * int
Sourceval node_color : config -> int * int * int