Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Clean up var module
Code
Review changes
Check out branch
Download
Patches
Plain diff
Pierre-Emmanuel Wulfman
requested to merge
clean_up_var
into
dev
Jun 29, 2022
Overview
5
Commits
6
Pipelines
15
Changes
11
Expand
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
Merge request reports