Parameter BitVecOps.St

type ch
type t
val length : t -> int
val get : t -> int -> ch
val equal : ch -> ch -> bool