Это "входы" и "выходы" операции. Часть перед "-" - это то, что должно быть в верхней части стека для использования. Часть после -" - это то, что помещается на вершину стека после его завершения. Буквы обозначают типы данных (Builder обозначается как b` и так далее).
Таким образом, в данном конкретном случае это обозначение означает, что операция требует, чтобы экземпляр типа данных Builder находился в верхней части стека, она берет этот экземпляр Builder и возвращает число (битов, уже сохраненных в этом Builder), помещая его в верхнюю часть стека. Обратите внимание, что сам конструктор исчезает из стека в процессе работы.