:- module foreign.
:- implementation.

% :- type mytype. % ok

:- pragma foreign_type("C", mytype, "void *").

:- type mytype. % error