package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type options = {
  1. omit_loc : bool;
  2. omit_att : bool;
  3. omit_env : bool;
  4. exn_on_opaque : bool;
}
val init : options:options -> unit