package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Tac2expr = Ser_tac2expr
module L2Entry : sig ... end
val ser_wit_ltac2_entry : (L2Entry.raw, L2Entry.glb, L2Entry.top) Serlib__Ser_genarg.gen_ser
module L2Expr : sig ... end
val ser_wit_ltac2_expr : (L2Expr.raw, L2Expr.glb, L2Expr.top) Serlib__Ser_genarg.gen_ser
val register : unit -> unit
OCaml

Innovation. Community. Security.