Module Aorai

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