method patt4 =
fun f ->
function
| (Ast.PaApp (_,
(Ast.PaApp (_,
(Ast.PaId (_, (Ast.IdUid (_, "::")))), _)),
_)
as p) ->
let (pl, c) = o#mk_patt_list p
in
(match c with
| None ->
pp f "@[<2>[@ %a@]@ ]" (list o#patt ";@ ") pl
| Some x ->
pp f "@[<2>[ %a ::@ %a ]@]"
(list o#patt ";@ ") pl o#patt x)
| p -> super#patt4 f p