initialState

abstract suspend fun initialState(declarations: Map<String, MilanoType>): Map<String, MilanoValue>