Module Physical_table

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