Module aya.base

Package org.aya.core.meta

package org.aya.core.meta
  • Class
    Description
    Meta
     
    MetaInfo
    Constraints on a meta variable.
    MetaInfo.AnyType
    The meta variable is a type.
    MetaInfo.PiDom
    The meta variable is the domain of a pi type which is of a known type.
    MetaInfo.Result
    The type of the meta is known.