Sidekick_base.Th_data
Theory of datatypes
val arg : (module Sidekick_th_data.ARG)
val theory : Sidekick_th_data.SMT.theory