sig module type Parameters = sig val width : int val height : int val topology_boundary : Types.topology_boundary val scale : int end module Topo : functor (Params : Parameters) -> Types.Topology end