diff options
Diffstat (limited to 'API/API.mli')
| -rw-r--r-- | API/API.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/API/API.mli b/API/API.mli index 3ed326ff0e..5c421ade48 100644 --- a/API/API.mli +++ b/API/API.mli @@ -5768,8 +5768,11 @@ end module Stm : sig + type doc type state - val state_of_id : + + val get_doc : Feedback.doc_id -> doc + val state_of_id : doc:doc -> Stateid.t -> [ `Valid of state option | `Expired | `Error of exn ] end |