X.xml_nempty "target" ["binder",id] (aux t)
>]
| C.ALetIn (xid,C.Anonimous,s,t) ->
X.xml_nempty "target" ["binder",id] (aux t)
>]
| C.ALetIn (xid,C.Anonimous,s,t) ->
| C.ALetIn (xid,C.Name id,s,t) ->
let sort = Hashtbl.find ids_to_inner_sorts xid in
X.xml_nempty "LETIN" ["id",xid ; "sort",sort]
| C.ALetIn (xid,C.Name id,s,t) ->
let sort = Hashtbl.find ids_to_inner_sorts xid in
X.xml_nempty "LETIN" ["id",xid ; "sort",sort]