Documentation

Init.Data.Nat.Bitwise