OCamlGraph - прекрасный пример модульной системы высшего порядка, которая действительно окупается. F # не может выразить это, так что перевод будет не только трудно сделать вообще, но результат будет намного более громоздким для использования. Лучше всего повторно использовать существующую библиотеку графов для .NET, и вам, вероятно, придется согласиться на гораздо меньшую абстракцию.