package ctypes-zarith

  1. Overview
  2. Docs
Ctypes wrapper for zarith

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=3f487940ed886f52d1c24436c0571a5c
sha512=8f4139330d0b33f7a5a75c17c05579e62a0f95f27876d0b0541ba0395489bb9b86417e49ae73fb76da0c159832e170dca177ddcad49f032988b9e08506c2ed39

Description

Published: 04 Jul 2020

README

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.

Dev Dependencies (2)

  1. alcotest with-test
  2. ctypes-foreign with-test

Used by (1)

  1. yices2_bindings

Conflicts

None