MlExtract.v

Require Export Extraction.

  Extract Inductive bool => bool [true false].
  Extract Inductive sumbool => bool [true false].
  Extract Inductive Exc => option [Some None].
  Extract Inductive sumor => option [Some None].