DLS.Bound
type t
val show : t -> string
val compute : SL_graph0.t -> SL.t -> ID_sig.instance -> LocationBounds0.t -> t