Make.3-Challenge
type nonrec t = Impl.field Limb_vector.Challenge.t
module Constant : sig ... end
val typ : ( t, Constant.t ) Impl.Typ.t
val length : int