Module Kimchi_backend.Kimchi_backend_common

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