• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • gospel
  • Documentation
ON THIS PAGE
  • Libraries
    • gospel
package gospel
  • gospel
    • Gospel
      • Coercion
      • Dterm
        • Mstr
      • Gospelstdlib
      • Identifier
        • Ident
        • Preid
      • Opprintast
      • Parser_frontend
      • Pps
      • Tast
      • Tast_helper
      • Tast_printer
      • Tmodule
        • Mid
        • Mstr
      • Tterm
        • LS
        • Mls
        • Sls
        • Svs
        • Vs
      • Ttypes
        • Htv
        • Mts
        • Mtv
        • Mxs
        • Ts
        • Tvar
        • Xs
      • Typing
      • Uast
      • Uattr2spec
      • Ulexer
      • Uparser
      • Upretty_printer
      • Utils
        • Fmt
        • Sstr
Legend:
Library
Module
Module type
Parameter
Class
Class type

Libraries

This package provides the following libraries (via dune):

gospel

Documentation:

  • Gospel.Coercion
  • Gospel.Dterm
  • Gospel.Gospelstdlib
  • Gospel.Identifier
  • Gospel.Opprintast
  • Gospel.Parser_frontend
  • Gospel.Pps
  • Gospel.Tast
  • Gospel.Tast_helper
  • Gospel.Tast_printer
  • Gospel.Tmodule Namespace
  • Gospel.Tterm
  • Gospel.Ttypes
  • Gospel.Typing
  • Gospel.Uast
  • Gospel.Uattr2spec
  • Gospel.Ulexer
  • Gospel.Uparser
  • Gospel.Upretty_printer
  • Gospel.Utils

Dependencies: ocaml-compiler-libs.shadow, fmt, ppxlib.ast, ppxlib

ON THIS PAGE
  • Libraries
    • gospel

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct