An Erlang ‘pragma foreign_type’ declaration has the form:
:- pragma foreign_type("Erlang", MercuryTypeName, "").
The effect of this declaration is that Mercury values of type MercuryTypeName will be passed to and from Erlang foreign_procs as having some representation unknown to Mercury.