package coq-lsp

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file jStdlib.ml

1
2
3
4
5
module Result = struct
  include Stdlib.Result

  type ('a, 'e) t = [%import: ('a, 'e) Stdlib.Result.t] [@@deriving yojson]
end
OCaml

Innovation. Community. Security.