Type Definition otter::prelude::ESVU[][src]

type ESVU<POEPU> = ErrorSignaledViaUpdate<POEPU>;