module ADP.Fusion.Boundary where