Module Group_map.Field_intf

module type S = sig ... end
module type S_unchecked = sig ... end