sig val list : (string * Arg.spec * string) list end