Module Tezos_raw_protocol_007_PsDELPH1.Roll_reprSource

type t = private int32
Sourcetype roll = t
Sourceval first : roll
Sourceval succ : roll -> roll
val (=) : roll -> roll -> bool