1 files changed, 7 insertions, 1 deletions
diff --git a/src/core/sok.h b/src/core/sok.h
index 1503b5f..92fb4e7 100644
--- a/src/core/sok.h
+++ b/src/core/sok.h
@@ -245,9 +245,15 @@ _Bool sok_cache_add(sok_cache_t * const, const sok_ctx_t * const);
 /* solve */
 /*********/
 
+typedef struct {
+  _Bool (*on_step)(const sok_ctx_t *, void *);
+  void (*on_error)(const char * const, void *);
+} sok_solve_cbs_t;
+
 _Bool sok_solve(
   sok_ctx_t * const,
-  void (*on_error)(const char * const)
+  const sok_solve_cbs_t * const,
+  void * const
 );
 
 #ifdef __cplusplus