package coq-lsp

  1. Overview
  2. Docs

Source file ser_g_extraction.ml

1
2
3
4
let register () =
  ()

let _ = register ()