CFtoOCamlAbs

cf2Abstract