let
mk_ltype_ptr lty = mk_ltype (ltype_ptr lty)