Skip to main content
Log in

Mojo function

weakly_congruent

weakly_congruent(a: IntTuple[origin], b: IntTuple[origin]) -> Bool

Test if two IntTuples have similar hierarchical structures.

This function establishes a partial order relation between IntTuples based on their hierarchical structure. It's less strict than congruent.

Args:

  • a (IntTuple[origin]): First IntTuple to compare.
  • b (IntTuple[origin]): Second IntTuple to compare.

Returns:

True if a's structure is compatible with b's structure, False otherwise.