Skip to content
GitLab

Clean up var module

Merged Pierre-Emmanuel Wulfman requested to merge clean_up_var into dev

type:internal

Do some minor modification in Var.ml

  • remove the namespace field
  • remove the mutable field which was unused
  • generate equal and compare with ppx