transcript: now we can generate procedural output

[helm.git] / helm / software / components / binaries / transcript / types.ml

diff --git a/helm/software/components/binaries/transcript/types.ml b/helm/software/components/binaries/transcript/types.ml
index de7c1036e8cc26ab20e6316e7c157eb7ed95c3c4..f0c8212bc47c3271c94045d895592f3a785aacbc 100644 (file)
--- a/helm/software/components/binaries/transcript/types.ml
+++ b/helm/software/components/binaries/transcript/types.ml
@@ -27,6 +27,8 @@ type local = bool
 
 type inline_kind = Con | Ind | Var
 
+type output_kind = Declarative | Procedural
+
 type source = string
 
 type prefix = string