Module TechRule


Section TechRule.

  Require Import Utils BasicRuntime.
  Require Export CAMP.

  Context {fruntime:foreign_runtime}.

  Axiom tech_rule : Set.
  Axiom tech_rule_to_camp : tech_rule -> camp.

End TechRule.