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

isModel

val isModel: Boolean(source)