module Physical_table:sig
..end
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