regexp.synthesis.clash.prelude

Require Import regexp.prelude.
Declare Scope clash_scope.
Delimit Scope clash_scope with clash.
Require Export Extraction.