package Ġcom . so y wiz . kb ignum . internal Ċ Ċ // Ġhttps :// graphics . stanford . edu /~ se ander / b ith acks . html # Count Bits Set Parallel Ċ @ Opt In ( Experimental Std lib Api :: class ) Ċ internal Ġfun ĠInt . bit Count (): ĠInt Ġ= Ġcount One Bits () Ċ Ċ @ Opt In ( Experimental Std lib Api :: class ) Ċ internal Ġfun ĠInt . trailing Z eros (): ĠInt Ġ= Ġcount Trailing Zero Bits () Ċ Ċ @ Opt In ( Experimental Std lib Api :: class ) Ċ internal Ġfun ĠInt . leading Z eros (): ĠInt Ġ= Ġcount Leading Zero Bits () Ċ Ċ internal Ġfun Ġmin 2 ( a : ĠInt , Ġb : ĠInt ) Ġ= Ġif Ġ( a Ġ< Ġb ) Ġa Ġelse Ġb Ċ internal Ġfun Ġmax 2 ( a : ĠInt , Ġb : ĠInt ) Ġ= Ġif Ġ( a Ġ> Ġb ) Ġa Ġelse Ġb Ċ