Как использовать модуль Domain_builder?

#frama-c Вопрос: Я хотел бы реализовать простой абстрактный домен, используя функторы, предоставляемые модулем Domain_builder (задокументировано в разделе EVA->Домены), но я не могу открыть модуль. Простой файл ocaml x.ml: open Domain_builder…