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