add_library(irep2
  irep2_type.cpp
  irep2_expr.cpp
  irep2_utils.cpp
  irep2_guard.cpp
)

target_link_libraries(irep2 PUBLIC fmt::fmt bigint PRIVATE crypto_hash)

