module Aorai: sig .. end
sig
end
Aorai plugin (AKA Ltl_to_acsl). No function is directly exported: they are registered in Db.Aorai.
Db.Aorai