blob: d633f5c739789be7f14500ffdc97bcd04e5abca5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(** an abstract representation of a system configuration expression *)
type term
val term_of_sexp : Sexplib.Sexp.t -> term
val tag_of : term -> (string, Condition.condition) result
(** an abstract type associating strings to configuration values *)
type dictionary
val value_for : string -> ?default:term -> dictionary -> (term, Condition.condition) result
val as_dictionary : term -> string -> (dictionary, Condition.condition) result
val as_int : term -> (int, Condition.condition) result
val as_string : term -> (string, Condition.condition) result
|
