Searched defs:mkDataCOcc (Results 1 – 4 of 4) sorted by relevance
638 mkDataCOcc = mk_simple_deriv varName "$c" function
714 mkDataCOcc occ = chooseUniqueOcc VarName ("$c" ++ occNameString occ) function
655 mkDataCOcc = mk_simple_deriv varName "$c" function