let
tat ?(loc=
Lexing
.dummy_pos,
Lexing
.dummy_pos) (t,label) =
term ~loc (
Tat
(t,label)) t.term_type