Code

Simplify type variables#1263

Code

Closed

Halbaroth wants to merge 4 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:simplify-variableHalbaroth/alt-ergo:simplify-variableCopy head branch name to clipboard

+228-236

Commits

Commits on Oct 25, 2024

• Create a proper type for type substitution

  Halbaroth

  committed
  73949e9

  Copy full SHA for 73949e9

• Use type variables of Dolmen directly

  Halbaroth

  committed
  3aeec5d

  Copy full SHA for 3aeec5d

• better API + documentation

  Halbaroth

  committed
  b3f0e79

  Copy full SHA for b3f0e79

• Linter

  Halbaroth

  committed
  91c013c

  Copy full SHA for 91c013c