(* commento che va nell'ast, ma non viene contato
come step perche' non e' un executable
*)
alias num (instance 0) = "natural number".
(* commento che va nell'ast, ma non viene contato
come step perche' non e' un executable
*)
alias num (instance 0) = "natural number".