backends/lean/Base/Primitives.lean


1
2
3
4
5
6
7
8

import Base.Primitives.Base
import Base.Tuples
import Base.Primitives.Scalar
import Base.Primitives.ArraySlice
import Base.Primitives.Vec
import Base.Primitives.Alloc
import Base.Primitives.Core
import Base.Primitives.CoreConvertNum