Module Qcert.Translation.Lang.DesignerRuletoCAMPRule

Require Import String.
Require Import List.
Require Import Utils.
Require Import DataRuntime.
Require Import DesignerRuleRuntime.
Require Import CAMPRuleRuntime.
  
Section DesignerRuletoCAMPRule.
  Section Top.
    Context {fr:foreign_runtime}.

    Definition designer_rule_to_camp_rule_top (q:designer_rule) : camp_rule :=
      designer_rule_to_camp_rule q.
  End Top.
    
End DesignerRuletoCAMPRule.