]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/common/library.mli
txtLexer: bug fix in parsing the string tokens
[helm.git] / helm / software / lambda-delta / common / library.mli
index 74c9fb424b9cb4a6ed785d253547762733f99dea..ed3f7bb8f8bd110d2983844aabb0cb50daf7c68e 100644 (file)
@@ -49,3 +49,5 @@ val arity: int -> attr
 val name: Entity.attrs -> attr
 
 val mark: Entity.attrs -> attr
+
+val meta: Entity.attrs -> attr