ru.primetalk.typed.ontology.metameta
Type members
Classlikes
Phantom type that represents a collection of elements of type A.
Phantom type that represents a collection of elements of type A.
Meta-meta package contains instruments to define meta level of ontology.
Meta-meta package contains instruments to define meta level of ontology.
For instance here we define type classes that allows us to use arbitrary types as property identifiers.
Phantom type that represents a record.
Phantom type that represents a record.
A type that represents a simple Scala type that is supported.
A type that represents a simple Scala type that is supported.