1-Inputs.Global_slot
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val zero : t
val (>) : t -> t -> Bool.t
val equal : t -> t -> Bool.t