Module Res.BitDefStrat

module BitDefStrat: Strat.T  with type t = float * float * int

Same as DefStrat, but the minimum size is 1024 elements (bits).


type t 

The abstract type of strategies.

val default : t

Default strategy of this strategy implementation.

val grow : t -> int -> int

grow strat new_len

val shrink : t -> real_len:int -> new_len:int -> int

shrink strat ~real_len ~new_len