Module Qcert.DesignerRule.Lang.DesignerRule


DesignerRule stands for ODM designer rules. This is merely a place-holder since the source language is effectively parsed in Java.

Summary:

Section DesignerRule.
  Require Import Utils.
  Require Import CommonRuntime.
  Require Export CAMPRuleRuntime.

  Context {fruntime:foreign_runtime}.

  Axiom designer_rule : Set.
  Axiom designer_rule_to_camp_rule : designer_rule -> camp_rule.
  
End DesignerRule.