Skip to content

improve performance of segment

yoshihiro503 requested to merge proof_ninja/plebeia:yoshihiro503@improve_performance_of_segment into dev

Use Bitstring.t as type of segent.

type segment = Bitstring.t

Merge request reports