pgavin/tfp — pull request #2 by christiaanb (2012-06-07 07:22:23+00:00)
Title: Add (Ceiling of) Log2 function

Adds the Log2Ceil type-level function, a ceiling version of Log2. Can be used, among others, to calculate 'bit-sizes' of numbers.