Next: , Previous: , Up: lib-structs   [Contents][Index]


10.44.2 Checking Foreign Term Types

The type of a foreign term may determined by the goal

foreign_type(+Foreign_term, -Type_name)

Note that foreign_type/2 will fail if Foreign_term is not a foreign term.


Send feedback on this subject.