Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package vlt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Vlt.ConfigurationSource
This module defines the contents of a configuration file.
The type of property values.
Source
type section = {name : Name.t;(*Section name.
*)elements : (string * value) list;(*Key, value assocation list of section properties.
*)
}The type of a configuration section.
Exception to be raised if file loading fails. The first parameter is the line of the error, while the second parameter is a short description of the error.