(* Types of configuration parameters *) signature CONFIG = sig