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