Module Value.Binary_Forward

val bextract : size:int -> index:int -> oldsize:int -> Context.t -> binary -> binary
val bconcat : size1:int -> size2:int -> Context.t -> binary -> binary -> binary
val bchoose : size:int -> Transfer_functions.Choice.t -> Context.t -> binary -> binary