let mkvalue_desc t p = { pval_type = ctyp t; pval_prim = p; }