sig
  external interrupt : Yices.context -> unit
    = "camlidl_yices_yices_interrupt"
  external get_lite_context : Yices.context -> Yicesl.context
    = "camlidl_yices_yices_get_lite_context"
end