aboutsummaryrefslogblamecommitdiffstats
path: root/lib/concepts/Configuration.mli
blob: d633f5c739789be7f14500ffdc97bcd04e5abca5 (plain) (tree)
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