To build tree structures which represent Inform's universe of kinds.

• §1. Construction
• §7. Constructing kinds for functions
• §8. Constructing kinds for pairs
• §9. Iterating through kinds
• §11. Annotations of kinds
• §16. Traversing the tree
• §17. Kind variable substitution
• §18. Weakening
• §19. Property dereferencing
• §20. Creating new base kind constructors
• §21. Making subkinds
• §22. Annotating vocabulary
• §23. From context
• §24. Equality
• §25. Conformance and compatibility

§1. Construction. Kinds are represented by pointers to trees made up of kind objects, like so:

typedef struct kind {
    struct kind_constructor *construct;  which can never be NULL
    int kind_variable_number;  only used if construct is CON_KIND_VARIABLE
    struct unit_sequence *intermediate_result;  only used if construct is CON_INTERMEDIATE
    struct kind *kc_args[MAX_KIND_CONSTRUCTION_ARITY];  used if arity positive, or for CON_KIND_VARIABLE
} kind;

• The structure kind is accessed in 2/fk, 2/tlok, 2/uk, 3/fv, 4/st, 4/kc2 and here.

§2. Some kinds, like number, are atomic while others, like relation of numbers to texts, are composite. Each kind object is formally a "construction" resulting from applying a kind_constructor to other kinds. Each different possible constructor has a fixed "arity", the number of other kinds it builds on. For example, to make the kind relation of texts to lists of times, we need four constructions in a row:

    (nothing) --> text
    (nothing) --> time
    time --> list of times
    text, list of times --> relation of texts to lists of times

At each step there is only a finite choice of possible "kind constructions" which can be made, but since there can in principle be an unlimited number of steps, the set of all possible kinds is infinite. At each step we make use of 0, 1 or 2 existing kinds to make a new one: this number (0, 1 or 2) is the "arity" of the construction. These four steps have arities 0, 0, 1, 2, and use the constructors "text", "time", "list of ..." and "relation of ... to ...".

We will often use the word "base" to refer to arity-0 constructors (or to the kinds which use them): thus, "text" and "time" are bases, but "list of ..." is not. We call constructors of higher arity "proper".

§3. Here is kinds-test exercising the construction system. Note that it has "functions" to extract the first and second term of a construction. (The REPL language of kinds-test has quite a number of functions like this, for testing different features of kinds.)

'X = object': object
'first term of X': nothing
'second term of X': nothing
'Y = list of numbers': list of numbers
'first term of Y': number
'second term of Y': nothing
'Z = relation of texts to numbers': relation of texts to numbers
'first term of Z': text
'second term of Z': number
'W = phrase (relation of texts to numbers, text) -> truth state': phrase (relation of texts to numbers, text) -> truth state
'first term of W': relation of texts to numbers, text
'first term of first term of W': relation of texts to numbers
'first term of first term of first term of W': text
'second term of first term of first term of W': number
'second term of first term of W': text
'second term of W': truth state

§4. In principle we could imagine constructors needing arbitrarily large arity, or needing different arity in different usages, so the scheme of having fixed arities in the range 0 to 2 looks limited. In practice we get around that by using "punctuation nodes" in a kind tree. For example,

    function ... -> ...
        CON_TUPLE_ENTRY
            text
            CON_TUPLE_ENTRY
                text
                CON_VOID
        number

represents function (text, text) -> number. Note two special constructors used here: CON_TUPLE_ENTRY and CON_NIL. These cannot occur in isolation. No Inform variable can have kind CON_TUPLE_ENTRY, for example.

§5. We keep some statistics for tracking memory usage:

int no_base_kinds_created = 0;
int no_intermediate_kinds_created = 0;
int no_constructed_kinds_created = 0;

§6. All kind structures are obtained by one of the following. First, a base construction, one with arity 0. This makes a kind tree with a single leaf node, of course, and that's something we need very often. So we create it only on the first request, and cache the pointer to it with the constructor; we can then use that same pointer on all subsequent requests.

kind *Kinds::base_construction?Usage of Kinds::base_construction:
§10, §20
Describing Kinds - §10
Neptune Syntax - §5.2
Star Templates - §4
Kind Commands - §1.4
Kind Constructors - §2, §10, §10.1(kind_constructor *con) {
    if (con == NULL) internal_error("impossible construction");
    if ((con == CON_KIND_VARIABLE) || (con == CON_INTERMEDIATE))
        internal_error("forbidden construction");
    switch (KindConstructors::arity(con)) {
        case 1:
            if (con == CON_list_of) return Kinds::unary_con(con, NULL);
            return Kinds::unary_con(con, K_value);
        case 2: return Kinds::binary_con(con, K_value, K_value);
    }
    kind **cache = KindConstructors::cache_location(con);
    if (cache) { if (*cache) return *cache; }
    kind *K;
    Create a raw kind structure6.4;
    K->construct = con;
    if (cache) *cache = K;
    no_base_kinds_created++;
    return K;
}

§6.1. As noted above, CON_INTERMEDIATE is used to store intermediate results of calculations that are never accessible to outside source text, and have kinds which couldn't be represented there. For example, if we evaluate $$ E = mc^2 $$ then we may have perfectly good kinds of value to store energy, mass and velocity, but have no kind of value for \(c^2\), a velocity squared. Such evanescent kinds are given the special constructor CON_INTERMEDIATE. These are needed relatively seldom and are not cached.

kind *Kinds::intermediate_construction?Usage of Kinds::intermediate_construction:
Dimensions - §31.4(unit_sequence *ik) {
    if (ik == NULL) internal_error("made unknown as Kinds::intermediate_construction");
    kind *K;
    Create a raw kind structure6.4;
    K->construct = CON_INTERMEDIATE;
    K->intermediate_result = CREATE(unit_sequence);
    *(K->intermediate_result) = *ik;
    no_intermediate_kinds_created++;
    return K;
}

§6.2. The following constructs "formal variables", that is, placeholders for the kinds whose values will be stored in the kind variables A to Z.

kind *Kinds::var_construction?Usage of Kinds::var_construction:
Describing Kinds - §6, §9, §18, §19(int N, kind *declaration) {
    if ((N == 0) || (N > MAX_KIND_VARIABLES)) internal_error("bad kind variable");
    kind *K;
    Create a raw kind structure6.4;
    K->construct = CON_KIND_VARIABLE;
    K->kind_variable_number = N;
    K->kc_args[0] = declaration;
    return K;
}

§6.3. That completes the possible base constructions. Proper constructions are made using the following. For example,

    Kinds::unary_con(CON_list_of, K_number)

produces a kind structure meaning "list of numbers". This is not cached anywhere, so a second request for the same thing will produce a different copy in memory of the same structure. Profiling shows that little memory is in practice wasted.

kind *Kinds::unary_con?Usage of Kinds::unary_con:
§6, §17, §18, §19
The Lattice of Kinds - §7
Describing Kinds - §11.10, §12.1(kind_constructor *con, kind *X) {
    kind *K;
    if (KindConstructors::arity(con) != 1) internal_error("bad unary construction");
    Create a raw kind structure6.4;
    K->construct = con; K->kc_args[0] = X;
    no_constructed_kinds_created++;
    return K;
}

kind *Kinds::binary_con?Usage of Kinds::binary_con:
§6, §7, §8, §17, §18, §19
The Lattice of Kinds - §7
Describing Kinds - §11.2, §11.3, §11.4, §11.5, §11.6, §11.7, §11.8, §11.9, §12.1, §13(kind_constructor *con, kind *X, kind *Y) {
    kind *K;
    if (KindConstructors::arity(con) != 2) internal_error("bad binary construction");
    Create a raw kind structure6.4;
    K->construct = con; K->kc_args[0] = X; K->kc_args[1] = Y;
    no_constructed_kinds_created++;
    if (con == CON_phrase) {
        if ((X == NULL) || (Y == NULL)) internal_error("bad function kind");
        if (Y->construct == CON_TUPLE_ENTRY) internal_error("bizarre");
    }
    return K;
}

§6.4. We've now seen the only ways to create a kind structure, and they share the following initialisation:

Create a raw kind structure6.4 =

    K = CREATE(kind);
    K->construct = NULL;
    K->intermediate_result = NULL;
    K->kind_variable_number = 0;
    int i;
    for (i=0; i<MAX_KIND_CONSTRUCTION_ARITY; i++) K->kc_args[i] = NULL;

• This code is used in §6, §6.1, §6.2, §6.3 (twice).

§7. Constructing kinds for functions. The following uses the above methods to put together the kind of a function, making use of the punctuation nodes CON_TUPLE_ENTRY and CON_NIL. Note that we use K_nil to represent the absence of a return kind (the "nothing" in a function to nothing). Note also that a function from X to Y, with just one argument, comes out as:

    CON_phrase
        CON_TUPLE_ENTRY
            X
            CON_VOID
        Y

rather than as:

    CON_phrase
        X
        Y

(It's more convenient to have a predictable form than to save on kind nodes.)

kind *Kinds::function_kind(int no_args, kind **args, kind *return_K) {
    kind *arguments_K = K_void;
    for (int i=no_args-1; i>=0; i--)
        arguments_K = Kinds::binary_con(CON_TUPLE_ENTRY, args[i], arguments_K);
    if (return_K == NULL) return_K = K_nil;
    return Kinds::binary_con(CON_phrase, arguments_K, return_K);
}

§8. Constructing kinds for pairs. Similarly, but more simply, here is the kind for an ordered pair of values:

kind *Kinds::pair_kind(kind *X, kind *Y) {
    return Kinds::binary_con(CON_combination, X, Y);
}

§9. Iterating through kinds. It's clearly not literally possible to iterate through kinds (there are infinitely many) or even through base kinds (since intermediate and variable constructions confuse the picture), but it does turn out to be convenient to iterate through all possible constructions, wrapped up into base kind format. Thus:

define LOOP_OVER_BASE_KINDS(K)
    for (K=Kinds::first_base_k(); K; K = Kinds::next_base_k(K))

§10. This requires the following iterator routines. Note that these will produce base constructions using constructors of higher arity than that (for example, it will make "list of K" as a base kind, with no arguments); this would be unsuitable as the kind of any data, but is convenient for drawing up the index, and so on.

kind *Kinds::first_base_k?Usage of Kinds::first_base_k:
§9(void) {
    kind_constructor *con;
    LOOP_OVER(con, kind_constructor)
        if ((con != CON_KIND_VARIABLE) && (con != CON_INTERMEDIATE))
            return Kinds::base_construction(con);
    return NULL;
}

kind *Kinds::next_base_k?Usage of Kinds::next_base_k:
§9(kind *K) {
    if (K == NULL) return NULL;
    kind_constructor *con = K->construct;
    do {
        con = NEXT_OBJECT(con, kind_constructor);
    } while ((con == CON_KIND_VARIABLE) || (con == CON_INTERMEDIATE));
    if (con == NULL) return NULL;
    return Kinds::base_construction(con);
}

§11. Annotations of kinds. Most of the time, the only annotation of a kind node is the constructor used:

kind_constructor *Kinds::get_construct?Usage of Kinds::get_construct:
§17, §20
The Lattice of Kinds - §13.1
Describing Kinds - §24, §24.1, §24.1.1, §25
Dimensions - §11
Neptune Syntax - §5.2
Kind Constructors - §10, §17, §23(kind *K) {
    if (K) return K->construct;
    return NULL;
}

§12. But for the benefit of intermediate and variable kind nodes, we also need:

int Kinds::is_intermediate?Usage of Kinds::is_intermediate:
Dimensions - §29, §30(kind *K) {
    if ((K) && (K->construct == CON_INTERMEDIATE)) return TRUE;
    return FALSE;
}

int Kinds::get_variable_number?Usage of Kinds::get_variable_number:
§17, §24
The Lattice of Kinds - §13, §13.7
Describing Kinds - §24.1.2(kind *K) {
    if ((K) && (K->construct == CON_KIND_VARIABLE)) return K->kind_variable_number;
    return -1;
}

kind *Kinds::get_variable_stipulation?Usage of Kinds::get_variable_stipulation:
The Lattice of Kinds - §13.7, §13.7.1
Describing Kinds - §24.1.2(kind *K) {
    if ((K) && (K->construct == CON_KIND_VARIABLE)) return K->kc_args[0];
    return NULL;
}

§13. Two convenient wrappers for talking about the constructor used:

int Kinds::is_proper_constructor?Usage of Kinds::is_proper_constructor:
§17, §18, §19
Describing Kinds - §24, §26
Dimensions - §15(kind *K) {
    if (Kinds::arity_of_constructor(K) > 0) return TRUE;
    return FALSE;
}

int Kinds::arity_of_constructor?Usage of Kinds::arity_of_constructor:
§14, §15, §17, §18, §19(kind *K) {
    if (K) return KindConstructors::arity(K->construct);
    return 0;
}

§14. Given, say, list of numbers, the following returns number:

kind *Kinds::unary_construction_material?Usage of Kinds::unary_construction_material:
§17, §18, §19
The Lattice of Kinds - §13.1
Describing Kinds - §24.3(kind *K) {
    if (Kinds::arity_of_constructor(K) != 1) return NULL;
    return K->kc_args[0];
}

§15. More awkwardly:

void Kinds::binary_construction_material?Usage of Kinds::binary_construction_material:
§17, §18, §19
Describing Kinds - §24.1.1, §24.3, §25(kind *K, kind **X, kind **Y) {
    if (Kinds::arity_of_constructor(K) != 2) {
        if (X) *X = NULL;
        if (Y) *Y = NULL;
    } else {
        if (X) *X = K->kc_args[0];
        if (Y) *Y = K->kc_args[1];
    }
}

§16. Traversing the tree. Here we look through a kind tree in search of a given constructor at any node.

int Kinds::contains(kind *K, kind_constructor *con) {
    if (K == NULL) return FALSE;
    if (K->construct == con) return TRUE;
    for (int i=0; i<MAX_KIND_CONSTRUCTION_ARITY; i++)
        if (Kinds::contains(K->kc_args[i], con))
            return TRUE;
    return FALSE;
}

§17. Kind variable substitution. Once we have determined what the kind variables stand for, we sometimes want to perform substitution to convert (say) "relation of K to list of K" to

• (say) "relation of numbers to list of numbers".

However, in order to ensure that caches are never invalidated, we are careful never to alter a kind structure once it has been created; instead, we return a different structure imitating the shape of the original.

We set the flag indicated by changed to TRUE if we make any change, assuming that it was originally FALSE before the first use of this function.

kind *Kinds::substitute(kind *K, kind **meanings, int *changed, int contra) {
    return Kinds::substitute_inner(K, meanings, changed, contra, COVARIANT);
}
kind *Kinds::substitute_inner(kind *K, kind **meanings, int *changed, int contra,
    int way_in) {
    if (meanings == NULL) meanings = values_of_kind_variables;
    int N = Kinds::get_variable_number(K);
    if (N > 0) {
        *changed = TRUE;
        if ((contra) && (way_in == CONTRAVARIANT) && (Kinds::eq(meanings[N], K_value)))
            return K_nil;
        return meanings[N];
    }
    if (Kinds::is_proper_constructor(K)) {
        kind *X = NULL, *X_after = NULL, *Y = NULL, *Y_after = NULL;
        int tx = FALSE, ty = FALSE;
        int a = Kinds::arity_of_constructor(K);
        if (a == 1) {
            X = Kinds::unary_construction_material(K);
            X_after = Kinds::substitute_inner(X, meanings, &tx, contra,
                KindConstructors::variance(Kinds::get_construct(K), 0));
            if (tx) {
                *changed = TRUE;
                return Kinds::unary_con(K->construct, X_after);
            }
        } else {
            Kinds::binary_construction_material(K, &X, &Y);
            int vx = KindConstructors::variance(Kinds::get_construct(K), 0);
            int vy = KindConstructors::variance(Kinds::get_construct(K), 1);
            if (Kinds::get_construct(K) == CON_TUPLE_ENTRY) {
                vx = way_in; vy = way_in;
            }
            X_after = Kinds::substitute_inner(X, meanings, &tx, contra, vx);
            Y_after = Kinds::substitute_inner(Y, meanings, &ty, contra, vy);
            if ((tx) || (ty)) {
                *changed = TRUE;
                return Kinds::binary_con(K->construct, X_after, Y_after);
            }
        }
    }
    return K;
}

§18. Weakening. This operation corresponds to rounding kinds up to W: that is, any subkind of W is replaced by W.

kind *Kinds::weaken(kind *K, kind *W) {
    if (Kinds::is_proper_constructor(K)) {
        kind *X = NULL, *Y = NULL;
        int a = Kinds::arity_of_constructor(K);
        if (a == 1) {
            X = Kinds::unary_construction_material(K);
            return Kinds::unary_con(K->construct, Kinds::weaken(X, W));
        } else {
            Kinds::binary_construction_material(K, &X, &Y);
            return Kinds::binary_con(K->construct, Kinds::weaken(X, W), Kinds::weaken(Y, W));
        }
    } else {
        if ((K) && (Kinds::conforms_to(K, W)) && (Kinds::eq(K, K_nil) == FALSE) && (Kinds::eq(K, K_void) == FALSE)) return W;
    }
    return K;
}

§19. Property dereferencing. Properties are sometimes nouns referring to themselves, and sometimes nouns referring to their values, and these have different kinds. So:

kind *Kinds::dereference_properties(kind *K) {
    if ((K) && (K->construct == CON_property))
        return Kinds::unary_construction_material(K);
    if (Kinds::is_proper_constructor(K)) {
        kind *X = NULL, *Y = NULL;
        int a = Kinds::arity_of_constructor(K);
        if (a == 1) {
            X = Kinds::unary_construction_material(K);
            return Kinds::unary_con(K->construct,
                Kinds::dereference_properties(X));
        } else {
            Kinds::binary_construction_material(K, &X, &Y);
            return Kinds::binary_con(K->construct,
                Kinds::dereference_properties(X), Kinds::dereference_properties(Y));
        }
    }
    return K;
}

§20. Creating new base kind constructors. Inform's whole stock of constructors comes from two routes: this one, from the source text, and another we shall see later, from the Kind Interpreter. The following is called in response to sentences like:

Texture is a kind of value. A musical instrument is a kind of thing.

The word range is the name ("texture", "musical instrument"), and super is the super-kind ("value", "thing").

kind *Kinds::new_base(wording W, kind *super) {
    #ifdef PROTECTED_MODEL_PROCEDURE
    PROTECTED_MODEL_PROCEDURE;
    #endif

    kind *K = Kinds::base_construction(
        KindConstructors::new(Kinds::get_construct(super), NULL, I"#NEW",
            BASE_CONSTRUCTOR_GRP));

    Use the source-text name to attach a noun to the constructor20.1;

    FamiliarKinds::notice_new_kind(K, W);
    #ifdef NEW_BASE_KINDS_CALLBACK
    NEW_BASE_KINDS_CALLBACK(K, super, Kinds::Behaviour::get_identifier(K), W);
    #endif

    Kinds::make_subkind_inner(K, super);

    latest_base_kind_of_value = K;
    LOGIF(KIND_CREATIONS, "Created base kind %u\n", K);
    return K;
}

§20.1. Use the source-text name to attach a noun to the constructor20.1 =

    noun *nt = NULL;
    #ifdef REGISTER_NOUN_KINDS_CALLBACK
    nt = REGISTER_NOUN_KINDS_CALLBACK(K, super, W, STORE_POINTER_kind_constructor(K->construct));
    #endif
    #ifndef REGISTER_NOUN_KINDS_CALLBACK
    nt = Nouns::new_common_noun(W, NEUTER_GENDER,
        ADD_TO_LEXICON_NTOPT + WITH_PLURAL_FORMS_NTOPT,
        KIND_SLOW_MC, STORE_POINTER_kind_constructor(K->construct), NULL);
    #endif
    KindConstructors::attach_noun(K->construct, nt);

• This code is used in §20.

§21. Making subkinds. This does not need to be done at creation time.

void Kinds::make_subkind(kind *sub, kind *super) {
    #ifdef PROTECTED_MODEL_PROCEDURE
    PROTECTED_MODEL_PROCEDURE;
    #endif
    if (sub == NULL) {
        LOG("Tried to set kind to %u\n", super);
        internal_error("Tried to set the kind of a null kind");
    }
    #ifdef HIERARCHY_VETO_MOVE_KINDS_CALLBACK
    if (HIERARCHY_VETO_MOVE_KINDS_CALLBACK(sub, super)) return;
    #endif
    kind *existing = Latticework::super(sub);
    switch (Kinds::compatible(existing, super)) {
        case NEVER_MATCH:
            LOG("Tried to make %u a kind of %u\n", sub, super);
            if (problem_count == 0)
                KindsModule::problem_handler(KindUnalterable_KINDERROR,
                    Kinds::Behaviour::get_superkind_set_at(sub), NULL, super, existing);
            break;
        case SOMETIMES_MATCH:
            Kinds::make_subkind_inner(sub, super);
            break;
    }
}

void Kinds::make_subkind_inner?Usage of Kinds::make_subkind_inner:
§20(kind *sub, kind *super) {
    if (Kinds::eq(super, sub)) {
        if (problem_count == 0)
            KindsModule::problem_handler(KindsCircular2_KINDERROR,
                Kinds::Behaviour::get_superkind_set_at(sub), NULL, super, sub);
        return;
    }
    kind *K = super;
    while (K) {
        if (Kinds::eq(K, sub)) {
            if (problem_count == 0)
                KindsModule::problem_handler(KindsCircular_KINDERROR,
                    Kinds::Behaviour::get_superkind_set_at(super), NULL, super,
                    Latticework::super(sub));
            return;
        }
        K = Latticework::super(K);
    }
    #ifdef HIERARCHY_MOVE_KINDS_CALLBACK
    HIERARCHY_MOVE_KINDS_CALLBACK(sub, super);
    #endif
    Kinds::Behaviour::set_superkind_set_at(sub, current_sentence);
    LOGIF(KIND_CHANGES, "Making %u a subkind of %u\n", sub, super);
}

§22. Annotating vocabulary.

kind *Kinds::read_kind_marking_from_vocabulary?Usage of Kinds::read_kind_marking_from_vocabulary:
Describing Kinds - §10(vocabulary_entry *ve) {
    return ve->means.one_word_kind;
}
void Kinds::mark_vocabulary_as_kind?Usage of Kinds::mark_vocabulary_as_kind:
Kind Commands - §1.4(vocabulary_entry *ve, kind *K) {
    ve->means.one_word_kind = K;
    Vocabulary::set_flags(ve, KIND_FAST_MC);
    NTI::mark_vocabulary(ve, <k-kind>);
}

§23. From context. Sometimes we need to know the current values of the 26 kind variables, A to Z: that depends on a much wider context than the kinds module can see, so we need the client to help us. v is in the range 1 to 26. Returning NULL means there is no current meaning; so if the client provides no function to tell us, then all variables are permanently unset.

kind *Kinds::variable_from_context?Usage of Kinds::variable_from_context:
The Lattice of Kinds - §14
Describing Kinds - §17, §24.1.2(int v) {
    #ifdef KIND_VARIABLE_FROM_CONTEXT
    return KIND_VARIABLE_FROM_CONTEXT(v);
    #endif
    #ifndef KIND_VARIABLE_FROM_CONTEXT
    return NULL;
    #endif
}

§24. Equality. It may well happen that there are two different kind structures in memory which both mean (say) "list of texts", so we cannot simply test if two kind * pointers are equal when we want to ask if they represent the same kind.

The following determines whether or not two kinds are the same. Clearly all base kinds are different from each other, but in some programming languages it's an interesting question whether different sequences of constructors applied to these bases can ever produce an equivalent kind. Most of the interesting cases are to do with unions (which Inform disallows as type unsafe) and records (which Inform supports only by its "combination" operator). For example, is "combination (number, text)" the same as "combination (text, number)"? One might also consider whether -> (function mapping) ought to be an associative operation, as it would be in a language like Haskell which curried all functions.

At any rate, for Inform the answer is no: every different sequence of kind constructors produces a different kind.

With kind variables, we take the "name" approach rather than the "structural" approach: that is, the kind "X" (a variable) is not equivalent to the kind "number" even if that's the current value of X.

int Kinds::eq?Usage of Kinds::eq:
§17, §18, §21, §25
The Lattice of Kinds - §6, §7.1, §7.2, §13.1, §13.2, §13.5, §13.6
Describing Kinds - §24.1.2, §24.2, §24.3.1, §24.3.2
Using Kinds - §2, §4
Dimensions - §15, §20, §21, §24, §29, §31.2
Floating-Point Values - §1
Star Templates - §4(kind *K1, kind *K2) {
    if (K1 == NULL) { if (K2 == NULL) return TRUE; return FALSE; }
    if (K2 == NULL) return FALSE;
    if (K1->construct != K2->construct) return FALSE;
    if ((K1->intermediate_result) && (K2->intermediate_result == NULL)) return FALSE;
    if ((K1->intermediate_result == NULL) && (K2->intermediate_result)) return FALSE;
    if ((K1->intermediate_result) &&
        (Kinds::Dimensions::compare_unit_sequences(
            K1->intermediate_result, K2->intermediate_result) == FALSE)) return FALSE;
    if (Kinds::get_variable_number(K1) != Kinds::get_variable_number(K2))
        return FALSE;
    for (int i=0; i<MAX_KIND_CONSTRUCTION_ARITY; i++)
        if (Kinds::eq(K1->kc_args[i], K2->kc_args[i]) == FALSE)
            return FALSE;
    return TRUE;
}

int Kinds::ne(kind *K1, kind *K2) {
    return (Kinds::eq(K1, K2))?FALSE:TRUE;
}

§25. Conformance and compatibility. For the distinction between these, see What This Module Does.

define ALWAYS_MATCH    2  provably correct at compile time
define SOMETIMES_MATCH 1  provably reduced to a check feasible at run-time
define NEVER_MATCH     0  provably incorrect at compile time

int Kinds::conforms_to?Usage of Kinds::conforms_to:
§18
The Lattice of Kinds - §7
Using Kinds - §2
Star Templates - §4(kind *from, kind *to) {
    if (Latticework::order_relation(from, to, FALSE) == ALWAYS_MATCH)
        return TRUE;
    return FALSE;
}

int Kinds::compatible?Usage of Kinds::compatible:
§21(kind *from, kind *to) {
    if (Kinds::eq(from, to)) return ALWAYS_MATCH;

    LOGIF(KIND_CHECKING, "(Is the kind %u compatible with %u?", from, to);
    switch(Latticework::order_relation(from, to, TRUE)) {
        case NEVER_MATCH: LOGIF(KIND_CHECKING, " No)\n"); return NEVER_MATCH;
        case ALWAYS_MATCH: LOGIF(KIND_CHECKING, " Yes)\n"); return ALWAYS_MATCH;
        case SOMETIMES_MATCH: LOGIF(KIND_CHECKING, " Sometimes)\n"); return SOMETIMES_MATCH;
    }

    internal_error("bad return value from Kinds::compatible"); return NEVER_MATCH;
}