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