typed-ontology-metameta/ru.primetalk.typed.ontology.simplemeta3/RecordProperty0

RecordProperty0

object RecordProperty0
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type PropertyValueType[A] = A match { case SimplePropertyId[_$1, p] => p case Any => Nothing }