Module DesignRule


Section DesignRule.

  Require Import Utils BasicRuntime.
  Require Export CAMP.

  Context {fruntime:foreign_runtime}.

  Axiom designer_rule : Set.
  Axiom designer_rule_to_camp : designer_rule -> camp.
  
End DesignRule.