Type Alias ReifyMatch

ReifyMatch: {
    binding: null | Omit<ReifyBinding, "variable">;
    root: RootSort;
}

Settings