replace strings with gadts in projector models

[Negabinary]

No description provided.

[Copilot]

Copilot wasn't able to review any files in this pull request.

Files not reviewed (18)

• src/haz3lcore/pretty/ExpToSegment.re: Language not supported
• src/haz3lcore/projectors/ProjectorBase.re: Language not supported
• src/haz3lcore/projectors/ProjectorCore.re: Language not supported
• src/haz3lcore/projectors/ProjectorInfo.re: Language not supported
• src/haz3lcore/projectors/ProjectorInit.re: Language not supported
• src/haz3lcore/projectors/ProjectorPerform.re: Language not supported
• src/haz3lcore/projectors/implementations/CardProj.re: Language not supported
• src/haz3lcore/projectors/implementations/CheckboxProj.re: Language not supported
• src/haz3lcore/projectors/implementations/FoldProj.re: Language not supported
• src/haz3lcore/projectors/implementations/ProbeProj.re: Language not supported
• src/haz3lcore/projectors/implementations/SliderFProj.re: Language not supported
• src/haz3lcore/projectors/implementations/SliderProj.re: Language not supported
• src/haz3lcore/projectors/implementations/TextAreaProj.re: Language not supported
• src/haz3lcore/projectors/implementations/TypeProj.re: Language not supported
• src/haz3lcore/statics/MakeTerm.re: Language not supported
• src/haz3lcore/zipper/action/Action.re: Language not supported
• src/haz3lweb/app/common/ProjectorView.re: Language not supported
• src/haz3lweb/app/inspector/ProjectorPanel.re: Language not supported

[codecov]

Codecov Report

Attention: Patch coverage is 4.90196% with 97 lines in your changes missing coverage. Please review.

Project coverage is 46.05%. Comparing base (39a4043) to head (7997def).

Files with missing lines	Patch %	Lines
src/haz3lcore/projectors/ProjectorCore.re	1.31%	75 Missing ⚠️
src/haz3lcore/projectors/ProjectorInit.re	9.09%	10 Missing ⚠️
...c/haz3lcore/projectors/implementations/CardProj.re	0.00%	7 Missing ⚠️
...c/haz3lcore/projectors/implementations/FoldProj.re	0.00%	2 Missing ⚠️
src/haz3lcore/projectors/ProjectorInfo.re	0.00%	1 Missing ⚠️
...c/haz3lcore/projectors/implementations/TypeProj.re	0.00%	1 Missing ⚠️
src/haz3lcore/zipper/action/Action.re	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev    #1615      +/-   ##
==========================================
- Coverage   46.28%   46.05%   -0.24%     
==========================================
  Files         126      126              
  Lines       13991    14046      +55     
==========================================
- Hits         6476     6469       -7     
- Misses       7515     7577      +62     

Files with missing lines	Coverage Δ
src/haz3lcore/pretty/ExpToSegment.re	75.57% <100.00%> (ø)
src/haz3lcore/projectors/ProjectorBase.re	4.54% <ø> (-4.28%)	⬇️
src/haz3lcore/projectors/ProjectorPerform.re	0.00% <ø> (ø)
...z3lcore/projectors/implementations/CheckboxProj.re	0.00% <ø> (ø)
.../haz3lcore/projectors/implementations/ProbeProj.re	1.35% <ø> (ø)
...az3lcore/projectors/implementations/SliderFProj.re	0.00% <ø> (ø)
...haz3lcore/projectors/implementations/SliderProj.re	0.00% <ø> (ø)
...z3lcore/projectors/implementations/TextAreaProj.re	0.00% <ø> (ø)
src/haz3lcore/statics/MakeTerm.re	73.93% <100.00%> (-0.26%)	⬇️
src/haz3lcore/projectors/ProjectorInfo.re	18.18% <0.00%> (ø)
... and 6 more

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.