type typ

val wartosc : typ

val operacja : typ -> typ

val string_of_typ : typ -> string