Kimchi_backend.Kimchi_backend_common
module Field : sig ... end
module Scalar_challenge = Kimchi_backend_common.Scalar_challenge