not

fun not(): Dyn