div

open infix operator override fun div(next: String): ContractRouteSpec7<A, B, C, D, E, F, String>

open infix operator override fun <NEXT> div(next: PathLens<NEXT>): ContractRouteSpec7<A, B, C, D, E, F, NEXT>