Skip to content

SRI-CSL/ctypes-zarith

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ctypes-zarith

Demo code how to mix ctypes and "custom" OCaml types.

mpz_t/mpz_struct (C) is exposed as Z.t (OCaml) and mpq_struct as Q.t.

About

Demo how to mix ctypes and "custom" OCaml types

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 96.4%
  • Makefile 2.5%
  • Other 1.1%