// 2025-2026 Богданович Давид Когут Прихожденко (кдб.дійсність.укр)

/* Бібліотека Мавки */

взяти визначення мавка;

простір мавка {
  простір бібліотека {
    структура Дані {
      розмір: природне;
      дані: *п8;
    }
  }
}
// ВАЖЛИВО: параметри дій бібліотеки НЕ ЗМІНЮВАТИ! інакше прийдеться змінювати ВСЮДИ (віндовс, лінукс, макос, васм)
//          якщо треба щось таке зробити, то треба створити нову дію!
//          сумісність цих дій між версіями має завжли зберігатись!
//          це головна біль потім міняти їх у Васм!
дія бібліотека_мавки_Е_р64() -> р64;
дія бібліотека_мавки_ЛОГ10_р64() -> р64;
дія бібліотека_мавки_ЛОГ2_р64() -> р64;
дія бібліотека_мавки_ЛОГ2Е_р64() -> р64;
дія бібліотека_мавки_ЛОГ10Е_р64() -> р64;
дія бібліотека_мавки_ПІ_р64() -> р64;
дія бібліотека_мавки_КОРІНЬ1_2_р64() -> р64;
дія бібліотека_мавки_КОРІНЬ2_р64() -> р64;
дія бібліотека_мавки_синус_р64(значення: р64) -> р64;
дія бібліотека_мавки_косинус_р64(значення: р64) -> р64;
дія бібліотека_мавки_тангенс_р64(значення: р64) -> р64;
дія бібліотека_мавки_арксинус_р64(значення: р64) -> р64;
дія бібліотека_мавки_арккосинус_р64(значення: р64) -> р64;
дія бібліотека_мавки_арктангенс_р64(значення: р64) -> р64;
дія бібліотека_мавки_арктангенс2_р64(а: р64, б: р64) -> р64;
дія бібліотека_мавки_абсолютне_р64(значення: р64) -> р64;
дія бібліотека_мавки_експонента_р64(значення: р64) -> р64;
дія бібліотека_мавки_корінь2_р64(значення: р64) -> р64;
дія бібліотека_мавки_стеля_р64(значення: р64) -> р64;
дія бібліотека_мавки_підлога_р64(значення: р64) -> р64;
дія бібліотека_мавки_округлити_р64(значення: р64) -> р64;
дія бібліотека_мавки_афс_видалити(дані_шляху: *п8, розмір_шляху: природне, обробник: (видалено: природне, помилка: природне, аргумент: адреса) -> ніщо, аргумент: адреса);
дія бібліотека_мавки_афс_дописати(дані_шляху: *п8, розмір_шляху: природне, дані_даних: *п8, розмір_даних: природне, обробник: (помилка: природне, аргумент: адреса) -> ніщо, аргумент: адреса);
дія бібліотека_мавки_афс_записати(дані_шляху: *п8, розмір_шляху: природне, дані_даних: *п8, розмір_даних: природне, обробник: (помилка: природне, аргумент: адреса) -> ніщо, аргумент: адреса);
дія бібліотека_мавки_афс_прочитати(дані_шляху: *п8, розмір_шляху: природне, обробник: (дані_даних: *п8, розмір_даних: природне, помилка: природне, аргумент: адреса) -> ніщо, аргумент: адреса);
дія бібліотека_мавки_афс_створити_папку(дані_шляху: *п8, розмір_шляху: природне, обробник: (помилка: природне, аргумент: адреса) -> ніщо, аргумент: адреса);

простір мавка {
  простір бібліотека {
    структура КористувацькіДаніБібліотекиМавки {
      взято__мат: *Притриманий; // ПредметМодуля
      взято__афс: *Притриманий; // ПредметМодуля
      взято__аввід: *Притриманий; // ПредметМодуля
    }

    дія ініціалізувати(М: *Машина);

    дія записати_дію__мат__син(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__кос(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__тан(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__асин(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__акос(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__атан(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__абс(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__експ(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__кор2(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__стеля(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__підлога(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__мат__округлити(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія ініціалізувати__мат(М: *Машина, предмет_модуля: *ПредметМодуля);

    дія записати_дію__афс__видалити(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__афс__дописати(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__афс__записати(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__афс__прочитати(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія записати_дію__афс__створити_папку(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія ініціалізувати__афс(М: *Машина, предмет_модуля: *ПредметМодуля);

    дія записати_дію__аввід__запитати(М: *Машина, предмет_модуля: *ПредметМодуля);
    дія ініціалізувати__аввід(М: *Машина, предмет_модуля: *ПредметМодуля);

    дія створити_дію__читати(М: *Машина) -> *ПредметДії;
  }
}