Module Snark_params.Group_map

module Checked : sig ... end