1signature updateSyntax =
2sig
3
4   include Abbrev
5
6   val find_tm: term
7   val list_update_tm: term
8   val override_tm: term
9
10   val dest_find: term -> term * term
11   val dest_list_update: term -> term
12   val dest_override: term -> term
13
14   val is_find: term -> bool
15   val is_list_update: term -> bool
16   val is_override: term -> bool
17
18   val mk_find: term * term -> term
19   val mk_list_update: term -> term
20   val mk_override: term -> term
21
22   val strip_list_update: term -> (term * term) list
23end
24