sig
  val pretty_state_as_c_assert : Cvalue.Model.t Pretty_utils.formatter
  val pretty_state_as_c_assignments : Cvalue.Model.t Pretty_utils.formatter
end