Code

Simplify is_mine_symb#1130

Code

Merged

Halbaroth merged 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:simplify-is_mine_symbHalbaroth/alt-ergo:simplify-is_mine_symbCopy head branch name to clipboardJun 12, 2024

+44-46

Commits

Commits on Jun 12, 2024

• Remove the useless ty argument of is_mine_symb

  Show description for e843595
  Halbaroth

  committed
  e843595