fsdoc: no-summary-found
fsdoc: no-comment-found
val shift_left:Unidentified product: [#n:pos] Unidentified product: [a:a:int_t n:{<=(0, a)}] Unidentified product: [s:nat] (Tot (int_t n))If a is negative the result is undefined behaviour
val shift_right:Unidentified product: [#n:pos] Unidentified product: [a:a:int_t n:{<=(0, a)}] Unidentified product: [s:nat] (Tot (int_t n))If a is negative the result is implementation defined