Я пытаюсь написать функцию, которая в основном выглядит следующим образом: module type M = sig type...