<*> + <*> | + <*> | | + pure (\u1 -> (\u2 -> u1)) | | ` pure (\u1 -> u1) | ` def name_282 | ` <*> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u1)) | | | ` pure (\u1 -> u1) | | ` <*> | | + <*> | | | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2))) | | | ` pure Term | | ` def name_283 | | ` <|> | | + <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3)))) | | | | ` <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) | | | | | ` pure (\u1 -> (\u2 -> u1)) | | | | ` satisfy | | | ` rec name_283 | | ` pure (\u1 -> u1) | ` pure Term ` def name_281 ` <*> + def name_280 | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3)))) | | | ` <*> | | | + pure cons | | | ` <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> u1)) | | | | ` conditional | | | | + look | | | | | ` satisfy | | | | + bs | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | ` pure Term | | | | | | ` satisfy | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | ` pure Term | | | | | | ` satisfy | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | ` pure Term | | | | | | ` satisfy | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | ` pure Term | | | | | | ` satisfy | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | ` pure Term | | | | | | ` satisfy | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | ` pure Term | | | | | | ` satisfy | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | | ` pure (\u1 -> u1) | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | | | ` satisfy | | | | | | | ` ref name_282 | | | | | | ` <*> | | | | | | + pure Term | | | | | | ` rec name_281 | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | | ` pure ']' | | | | | ` satisfy | | | | ` empty | | | ` ref name_282 | | ` rec name_280 | ` pure (\u1 -> u1) ` pure Term