Checked (vrf_lib.Vrf_lib.Integrated.Make.3-Group.Checked)

module Shifted : sig ... end

val scale : 
  (module Shifted.S with type t = 'shifted) ->
  var ->
  Scalar.var ->
  init:'shifted ->
  'shifted Impl.Checked.t

val scale_generator : 
  (module Shifted.S with type t = 'shifted) ->
  Scalar.var ->
  init:'shifted ->
  'shifted Impl.Checked.t