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