sig val detect : unit -> VCS.dp list end