some API docs missing
e.g., http://autotool.imn.htwk-leipzig.de/docs/autolib-foa-1.1/Autolib-LTL-Data.html#t:Formula
the problem is in foa/autolib-foa.cabal
:
Exposed-modules:
Autolib.ORW.Type
Autolib.LTL.Type
Autolib.LTL.Assign
Autolib.LTL.Eval.ORW
Other-modules:
Autolib.ORW.Data
Autolib.ORW.Print
Autolib.ORW.Read
Autolib.LTL.Data
Autolib.LTL.Parse
Autolib.LTL.Print
Here, *.Data should be in Exposed-Modules.