Open barockobamo opened 5 years ago
From #26 :
let if_success_state rv w k => inline the definition of "if_ter" inside its body and assign an explicit name to the local function there
From #26 :
let if_success_state rv w k => inline the definition of "if_ter" inside its body and assign an explicit name to the local function there