Module type Rs_intf.L

Input signature of functor Rs.Make representing the type of computation limit (i.e. discrete or dense time).

type t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
type label
val init : t
val increment : t -> label -> t
val is_greater : t -> t -> bool