Can TLAPM be used as a library? #233
Answered
by
ahelwer
EmmanuelMess
asked this question in
Q&A
-
|
I want to know if it can be linked from other programs as a library. |
Beta Was this translation helpful? Give feedback.
Answered by
ahelwer
Jul 23, 2025
Replies: 1 comment
-
|
Yes, it can. See https://github.com/tlaplus/tlapm/blob/main/src/tlapm_lib.mli for the main library interface. Also see the LSP, which consumes TLAPM as a library: https://github.com/tlaplus/tlapm/tree/main/lsp |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
EmmanuelMess
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Yes, it can. See https://github.com/tlaplus/tlapm/blob/main/src/tlapm_lib.mli for the main library interface. Also see the LSP, which consumes TLAPM as a library: https://github.com/tlaplus/tlapm/tree/main/lsp