
ATerm SSL_mkterm(ATerm, ATerm) ;
ATerm SSL_explode_term(ATerm) ;
ATerm SSL_get_constructor(ATerm) ;
ATerm SSL_get_arguments(ATerm) ;
ATerm SSL_get_appl_arguments_map(StrCL, ATerm) ;
ATerm SSL_address_lt(ATerm, ATerm) ;
ATerm SSL_address(ATerm) ;
ATerm SSL_checksum(ATerm) ;
