muMLE/examples/cbd/models/r_advance_time_lhs.od

clock:RAM_Clock {
  RAM_time = `True`;
}