Searched refs:wrap_sig (Results 1 – 4 of 4) sorted by relevance
652 `setStrictnessInfo` wrap_sig658 wrap_sig = mkClosedStrictSig wrap_arg_dmds (dataConCPR data_con) function
693 `setStrictnessInfo` wrap_sig700 wrap_sig = mkClosedStrictSig wrap_arg_dmds topDiv function
713 `setStrictnessInfo` wrap_sig720 wrap_sig = mkClosedStrictSig wrap_arg_dmds topDiv function