(** an abstract representation for a system configuration *)
type configuration