Module Aorai

module Aorai: sig .. end

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