package ctypes-zarith

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val clear : ptr -> unit
val init : ptr -> unit
val set : Q.t -> ptr -> unit
val make : unit -> ptr

like Ctypes.make, but with finalise and type already specified. mpq is initialized.

val of_q : Q.t -> ptr
val to_q : ptr -> Q.t
val zarith : Q.t Ctypes.typ
val t_ptr : ptr Ctypes.typ