mantıksal English: Bool · keywords · lean mantıksal › mant Official documentation — devdocs.io search