In the let-in case we compute the type and add it to the context.

[helm.git] / components / whelp / fwdQueries.mli

diff --git a/components/whelp/fwdQueries.mli b/components/whelp/fwdQueries.mli
index 7f580a5413bbf1a83f3acffeec966e1468768e23..200670335d5178b6d2e52ee6978567aabffd0391 100644 (file)
--- a/components/whelp/fwdQueries.mli
+++ b/components/whelp/fwdQueries.mli
@@ -24,5 +24,5 @@
  *)
 
 val fwd_simpl: dbd:HMysql.dbd -> Cic.term -> UriManager.uri list
-val decomposables: dbd:HMysql.dbd -> (UriManager.uri * int) list
+val decomposables: dbd:HMysql.dbd -> (UriManager.uri * int option) list