sig
  val share :
    ('-> '-> float) ->
    ('-> int -> '-> int -> 'a) ->
    Ga_types.gvars -> 'Ga_types.population -> Ga_types.sharing
end