Module type React.R

Input signature of the functor React.Make.

type t
type ac
type label
val name : t -> string
val lhs : t -> Big.t
val rhs : t -> Big.t
val conds : t -> ac list
val l : t -> label
val equal : t -> t -> bool
val map : t -> Fun.t option
val merge_occ : (Big.t * label * t list) -> (Big.t * label * t list) -> Big.t * label * t list
val val_chk : t -> bool
val val_chk_error_msg : string
val string_of_label : label -> string
val make : name:string -> lhs:Big.t -> rhs:Big.t -> ?⁠conds:ac list -> label -> Fun.t option -> t
val step_post : ((Big.t * label * t list) list * int) -> (Big.t * label * t list) list * int

Postprocessing rewrite step.

val random_step_post : ((Big.t * label * t list) list * int) -> (Big.t * label * t list) option * int

Postprocessing random rewrite step.