module Sphere_radius_2: functor (Topo : Types.Topology) -> functor (Parameters : sigend) -> sig .. end
functor (
Topo
:
Types.Topology
) ->
Parameters
sig
end
sig end
include Topo
val neighbourhoods : int array array
int array array