Group_map.Make
module Constant : Field_intf.S
module F : sig ... end
module Params : sig ... end
val potential_xs : F.t -> F.t * F.t * F.t