forProcedure

fun forProcedure(context: ExecutionContext, procedure: Signature): ExistenceError