package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib.SerTypeSource

Sourcemodule type SJHC = sig ... end
Sourcemodule type SJHC1 = sig ... end
Sourcemodule type SJHC2 = sig ... end
Sourcemodule type Bijectable = sig ... end

Bijection with serializable types

Sourcemodule Biject (M : Bijectable) : SJHC with type t = M.t
Sourcemodule type Bijectable1 = sig ... end
Sourcemodule Biject1 (M : Bijectable1) : SJHC1 with type 'a t = 'a M.t
Sourcemodule type Bijectable2 = sig ... end
Sourcemodule Biject2 (M : Bijectable2) : SJHC2 with type ('a, 'b) t = ('a, 'b) M.t
Sourcemodule type Pierceable = sig ... end
Sourcemodule type Pierceable1 = sig ... end
Sourcemodule Pierce (M : Pierceable) : SJHC with type t = M.t
Sourcemodule Pierce1 (M : Pierceable1) : SJHC1 with type 'a t = 'a M.t
Sourcemodule type OpaqueDesc = sig ... end
Sourcemodule Opaque (M : OpaqueDesc) : SJHC with type t = M.t
Sourcemodule type OpaqueDesc1 = sig ... end
Sourcemodule Opaque1 (M : OpaqueDesc1) : SJHC1 with type 'a t = 'a M.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct