package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type retroknowledge = Retroknowledge.retroknowledge
val sexp_of_retroknowledge : retroknowledge -> Sexplib.Sexp.t
val retroknowledge_of_sexp : Sexplib.Sexp.t -> retroknowledge
type action = Retroknowledge.action
val sexp_of_action : action -> Sexplib.Sexp.t
val action_of_sexp : Sexplib.Sexp.t -> action