[Question][Hw5] Sub, Mul, Div in Module Taint

[Altterisk]

In module Taint, shouldn't the functions sub, mul, div have arguments x, y similar to add?

  let add x y = failwith "Not implemented"

  let sub = failwith "Not implemented"

  let mul = failwith "Not implemented"

  let div = failwith "Not implemented"

According to VALUE_DOMAIN, they should have type t -> t -> t.

  val add : t -> t -> t

  val sub : t -> t -> t

  val mul : t -> t -> t

  val div : t -> t -> t

[KihongHeo]

Similar. You should define the functions.