let rec wcAnd_of_list =
function
| [] -> Ast.WcNil ghost
| [ w ] -> w
| w :: ws ->
let _loc = loc_of_with_constr w
in Ast.WcAnd (_loc, w, (wcAnd_of_list ws))