keiro-dsl-0.9.0.0: test/conformance-newsurface/Generated/TransferRouting/Hospital/Projection.hs
-- @generated by keiro-dsl 0.8.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Projection () where