| [ a ] -> a
| l -> Layout (Box ((H, false, false), l))
+let find_appl_pattern_uris ap =
+ let rec aux acc =
+ function
+ | UriPattern uri ->
+ (try
+ ignore (List.find (fun uri' -> UriManager.eq uri uri') acc);
+ acc
+ with Not_found -> uri :: acc)
+ | VarPattern _ -> acc
+ | ApplPattern apl -> List.fold_left aux acc apl
+ in
+ aux [] ap
+