HOL.Util

mkUnsafe

mkUnsafe1

mkUnsafe2