package mula

  1. Overview
  2. Docs

Parameters

module St : S

Signature

val get : St.t -> int -> St.ch
val sizes : int -> int -> int -> int * int * int * int
val bit_vec_of : St.ch -> St.t -> index:int -> k:int -> BitVec.t
val bit_vec_of_sentinel : str_len:int -> index:int -> k:int -> BitVec.t