Add properties of Data.Refinement
and refactor module structure
#3785
Loading
Data.Refinement
and refactor module structure
#3785