add pure_op_def to cakeml_computeLib