let
bug msg = raise (
PdgTypes
.
Pdg_Internal_Error
msg)