ex1 3

← Back

Basic Info

• Type: sml
• Size: 294 B

• Origin

• Download

Functional Programming
└── Lab ML
    └── 0​404
        └── ex1 3.sml

---

Preview

(*
Are the following equality types?

• int * string list
• (int -> char) * string
• int -> string -> unit
• real * (string * string) list
*)

(*
• int * string list
    Yes
• (int -> char) * string
    No
• int -> string -> unit
    No
• real * (string * string) list
    No
*)