در حساب فاصله برای آدا یک کتابخانه ریاضی فراهم می کند که یک پیاده سازی از فواصل برای آدا است. این شامل حساب و عملیات رابطه ای.مثال:سه جانبه دولت منطقفواصل بسته به عنوان یک بسته ریشه خدمت می کند و همچنین منطق سه جانبه دولت لازم برای تعریف عملیات رابطه ای در فواصل فراهم می کند. نوع منطقی به عنوان تعریف می شود: نوع منطقی...