Parameter `Make.3-R`

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.