Module Encodings.Bounded_e

module VL : sig ... end
type bound_check_safety =
  1. | Safe
  2. | Unsafe
  3. | NoCheck
val encoding : safety:bound_check_safety -> 'a Constants.Bound.t -> (Z.t * Z.t, 'a VL.t, L.Num.scalar) L.Encodings.encoding