package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type binding_bound_vars = Constr_matching.binding_bound_vars
val binding_bound_vars_of_sexp : Sexplib.Sexp.t -> binding_bound_vars
val sexp_of_binding_bound_vars : binding_bound_vars -> Sexplib.Sexp.t