apollo-backend/eu.yeger.apollo.shared.model.fol/ModelCheckerTrace/shouldBeModel

shouldBeModel

val shouldBeModel: Boolean(source)