let mk x k_opt tau ltype_opt = (match k_opt with None -> () | Some k -> check_cpt k); (x, k_opt, tau, ltype_opt)