-1
я кладезь следующее INRIA документации для Pervasives:Что такое имена succ и pred full?
вал Succ: Int -> Int
Succ х х + 1.
вал пред: Int -> Int
pred x is x - 1.
Как я понимаю succ и pred - короткие имена. Каковы их полные имена?
Это соответственно сокращенные обозначения * преемника * и * предшественника *? – fvu
Да, это выглядит абсолютно верно. Можете ли вы написать свой комментарий в качестве ответа, чтобы дать мне возможность закрыть этот вопрос? –
Вы можете удалить свой вопрос, не так ли? (По крайней мере, * до того, как кто-либо напишет ответ.) –