模块 aya.guest.base

程序包 org.aya.guest0x0.tyck

类 Unifier

java.lang.Object

org.aya.guest0x0.tyck.Unifier

public class Unifier
extends Object

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final record	Unifier.FailureData

字段概要

字段

修饰符和类型	字段	说明
Unifier.FailureData	data

构造器概要

构造器

构造器	说明
Unifier()

方法概要

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

字段详细资料

data

public Unifier.FailureData data

构造器详细资料

Unifier

public Unifier()