src/constant/abstraction
