Up – Package index » digestif » Library digestif.c » Digestif_eq

Module `Digestif_eq`

digestif
- CHANGES
- LICENSE
- README
- Library digestif
- Library digestif.c
- Library digestif.rakia
  - Rakia
- Sources

module Make (D : sig ... end) : sig ... end