+++ /dev/null
-
-
---================================================================================
-Typechecked:
-AbsBinds
-[`t{-aHp-}', `t{-aHr-}', `t{-aHm-}']
-[`d.Num']
-[([`t{-aHp-}', `t{-aHr-}', `t{-aHm-}'], `f', `f')]
- `fromInt' =
- `PrelBase.fromInt'
- `t{-aHm-}'
- `d.Num'
- `lit' =
- `fromInt'
- `PrelBase.I#'
- 2#
- `f' `x' `x' = `lit'