const "HOLLight.LET" as "Data.Bool.let"
const "HOLLight.EXP" as "Number.Natural.exp"
const "HOLLight.BIT2" as "Number.Natural.bit2"
const "HOLLight.iiSUC" as "HOL4.Numeral.iiSUC"
const "HOLLight.DIV2" as "HOL4.arithmetic.DIV2"
const "HOLLight.exactlog" as "HOL4.Numeral.exactlog"
const "HOLLight.iDUB" as "HOL4.Numeral.iDUB"
const "HOLLight.internal_mult" as "HOL4.Numeral.internal_mult"
const "HOLLight.onecount" as "HOL4.Numeral.onecount"
const "HOLLight.texp_help" as "HOL4.Numeral.texp_help"