cartago

Class tuple_to_term

>DEIS - University of Bologna