[Question][Hw4] Return type of cmp function

[p51lee]

Hello,

In domain.ml, I thought bool should be returned for the comparison result of cmp function in numerical domains,
but it returns type t:

val cmp : Llvm.Icmp.t -> t -> t -> t

What is expected to returned by cmp Llvm.Icmp.Sgt Pos Neg?

[KihongHeo]

Hi.

• cmp is the abstract version of concrete comparison. Since the concrete comparison returns a boolean value (in this homework, a bool value is 0 or 1), the abstract operator returns a t type value.
• Then, recall the concept of best abstraction.

[p51lee]

Thank you for your explanation!