sig
  val get :
    ('a, 'b) Fcl_invariant.t array ->
    (int, 'c) Fcl_invariant.t -> 'Fcl_invariant.unsetable_t
  val argmin :
    ('a, 'b) Fcl_invariant.t array ->
    ('-> 'c) -> int Fcl_invariant.unsetable_t
  val min :
    ('a, 'b) Fcl_invariant.t array ->
    ('-> 'c) -> 'Fcl_invariant.unsetable_t
end