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