Curve (kimchi_backend.Kimchi_backend

module type Input_intf = sig ... end

module type Field_intf = sig ... end

module Make
  (BaseField : Field_intf)
  (ScalarField : sig ... end)
  (Params : sig ... end)
  (C : 
    Input_intf
      with module BaseField := BaseField
       and module ScalarField := ScalarField) : 
  sig ... end