HyLo.Model

data Model w n p r

worlds

succs

valP

valN

model

equiv

expand

setSignature

(??)

removeWorld

removeWorlds

countInModel

namesOf

propsOf

class ModelsRel m f n p r

(|/=)