% THIS FILE IS AUTOMATICALLY GENERATED.
% DO NOT EDIT; ALL CHANGES WILL BE LOST!

:- mode print_result0(?,++).
:- mode print_result1(?,?).
:- mode print_typing(?,?,?).
:- mode print_result(?).
:- mode write_symlist(++).
:- mode write_typing(++,?,++).
:- mode show_et.

:- '_$mode_pattern'(print_result(_985260)).
