模块 org.aya
程序包 org.aya.concrete.stmt
package org.aya.concrete.stmt
-
类说明Concrete definition, corresponding to
Def.Concrete data definitionConcrete function definitionConcrete structure definitionDecl.Visitor<P,R> An item in the signature, with telescope and result type.Stmt.Visitor<P,R>