Library CoqFFI.Interface

Library CoqFFI.Exn

Library CoqFFI.Data.Int

• Bounds
• Functions
• Extraction

Library CoqFFI.Data.IntFacts

• Comparisons
• Arithmetic

Library CoqFFI.Data.Result

• Pure functions

Library CoqFFI.Data.Seq

• Types
• Pure functions

Library CoqFFI.Data.String

Library CoqFFI.Extraction

• • Primitive Signed Integers
  • Strings
  • Booleans
  • Options
  • Unit
  • Products
  • Lists
  • Seq
  • Result