sig
  val empty_tuple : Physical_value.tuple_unit
  val table_of_singleton :
    Physical_value.tuple_unit -> Physical_value.table_unit
  val table_is_empty : Physical_value.table_unit -> bool
  val table_empty : unit -> Physical_value.table_unit
end