withContractType

inline fun <U> withContractType(cname: String, crossinline thunk: (U) -> Unit): Boolean

Use a contract by name, auto-downcasting to your expected contract type