Module type `Rs.L`

Input signature of the functor Rs.Make representing the type of computation limit.

type t
type l

val init : t
val increment : t -> l -> t
val is_greater : t -> t -> bool
val to_string : t -> string