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