Module Make.EncodingSource

Parameters

module L : sig ... end

Signature

Sourcemodule VL : sig ... end
Sourcetype bound_check_safety =
  1. | Safe
  2. | Unsafe
  3. | NoCheck