type t = R.rcm
val random : unit -> R.rcm
val assert_valid : R.rcm -> unit