let
proveIt : (message
->
Proof
.proof) ref =
ref (
fun
_
->
E
.s (
E
.bug
"proveIt is not defined"
))