let tvar ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) lv = term ~loc (TLval(TVar lv,TNoOffset)) lv.lv_type