(library
  (name           dolmen_type)
  (public_name    dolmen_type)
  (instrumentation (backend bisect_ppx))
  (libraries
    ; external deps
    spelll uutf
    ; dolmen standard deps
    dolmen dolmen.std dolmen.intf
    ; some additional explicit deps for version types
    dolmen.smtlib2 dolmen.tptp
  )
  (modules
    ; TFF and THF typechecking
    Intf Tff_intf Tff Thf_intf Thf
    ; Builtins
    Core Def Arith Arrays Bitv Float Strings
    ; Helpers
    Base Logic Misc
  )
)