Table.from

Table.fromthat

Documentation

The internal conversion used to provide the Table interface implementation for instances of DB_Table. Note that running it discards the DB_Table part of the type, so it should only be used in casts of the form (x : Table & DB_Table). End users should rely on the public variant of the conversion.