backends/lean/Base/Primitives.lean


1
2
3
4
5
6

import Base.Primitives.Base
import Base.Primitives.Scalar
import Base.Primitives.Array
import Base.Primitives.Vec
import Base.Primitives.Alloc
import Base.Primitives.CoreOpsDeref