Parameter With_interface.1-M

val bits : int
val rhs_list_length : int