let term_of_whdr = function
| Sort_ h -> Z.Sort h
| LRef_ (i, _) -> Z.LRef i
| GRef_ (_, uri, _) -> Z.GRef uri
| Bind_ (a, l, w, t) -> Z.bind_abst a l w t
let term_of_whdr = function
| Sort_ h -> Z.Sort h
| LRef_ (i, _) -> Z.LRef i
| GRef_ (_, uri, _) -> Z.GRef uri
| Bind_ (a, l, w, t) -> Z.bind_abst a l w t