let
push_context: (unit
->
unit) ref =
ref (
fun
_
->
Kernel
.fatal
"Uninitialized push_context"
)