Module Zprize_ntt.Top_config

module type S = sig ... end