1-Inputs.Index
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val zero : t
val succ : t -> t