List.rev uniq_rev_l
in
- match ast with
- | CicAst.AttributedTerm (`Loc loc, term) -> rev_uniq (aux loc context term)
- | term -> aux (-1, -1) context term
+ rev_uniq
+ (match ast with
+ | CicAst.AttributedTerm (`Loc loc, term) -> aux loc context term
+ | term -> aux (-1, -1) context term)
(* dom1 \ dom2 *)