Module Lib.Int

val log2 : int -> int
val is_power_of_two : int -> bool