Module Qcert.DesignRule.Lang.DesignRule


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

Summary:

Section DesignRule.
  Require Import Utils.
  Require Import BasicRuntime.
  Require Export CAMPRuleRuntime.

  Context {fruntime:foreign_runtime}.

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