M2compiler-V3/docs/gaps/gap14_builtin_pragma.def

DEFINITION MODULE Gap14BuiltinPragma;
(* NOT standard Modula-2: the `__BUILTIN__` declaration pragma.
   Class: gm2-ext.
   Corpus: builtin.def, builtin.mod.
   V3: ident expected. *)
PROCEDURE __BUILTIN__ f(x : CARDINAL) : CARDINAL;
END Gap14BuiltinPragma.