let
cond_rec = ref (
fun
_ _
->
assert
false
)