Library CoqFFI.Data.String

Library CoqFFI.Data.Int

• Bounds
• Functions
• Extraction

Library CoqFFI.Data.IntFacts

• Comparisons
• Arithmetic

Library CoqFFI.Extraction

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

Library CoqFFI.Interface