Module Plonk.Main_protocol_intf

module SMap = Kzg.SMap
module type S = sig ... end