Module type Sig.OFFSET_BACKWARD

type boolean
type offset
module Arity : ARITY
val le : size:int -> (offset, offset, boolean) Arity.ar2
val eq : size:int -> (offset, offset, boolean) Arity.ar2
val shift : size:int -> offset:int -> (offset, offset) Arity.ar1