unicode_fol_kit.qml_equivalent¶ unicode_fol_kit.qml_equivalent(left, right, mode='constant', frame='K', systems=None, timeout=10000)[source]¶ Return True iff two modal formulas are QML-equivalent under mode / frame. Parameters: left (Node) right (Node) mode (str) frame (str) timeout (int) Return type: bool