package linksem
Module Byte_sequence_wrapperSource
Source
val takebytes_with_length :
Nat_big_num.num ->
Nat_big_num.num ->
byte_sequence ->
byte_sequence Error.error