Module Encoder.BinaryFormatSource

Sourceval never_indexed : int * int
Sourceval without_indexing : int * int
Sourceval incremental_indexing : int * int
Sourceval indexed : int * int
Sourceval is_indexed : int -> bool