<*> + <*> | + pure (\u1 -> (\u2 -> u2)) | ` def name_1 | ` <*> | + pure (\u1 -> Term) | ` def name_2 | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3))) | | | ` satisfy | | ` rec name_2 | ` pure (\u1 -> u1) ` def name_4 ` <*> + pure (\u1 -> u1 Term) ` def name_3 ` <|> + <*> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4))))) | | | ` conditional | | | + look | | | | ` satisfy | | | + bs | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> cons Term)) | | | | | ` satisfy | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> cons Term)) | | | | | ` satisfy | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> cons Term)) | | | | | ` satisfy | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> cons Term)) | | | | | ` satisfy | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> cons Term)) | | | | | ` satisfy | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> cons Term)) | | | | | ` satisfy | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3)))))) | | | | | | | ` satisfy | | | | | | ` ref name_1 | | | | | ` rec name_4 | | | | ` satisfy | | | ` empty | | ` ref name_1 | ` rec name_3 ` pure (\u1 -> u1)