user::export_from_prolog/1

(undocumented)

Private-func:

1. user::export_from_prolog_1::export_from_prolog/1(int ARG1)():

1. user::export_from_prolog_1::export_from_prolog/1(int ARG1)():