package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CcompileSource

Sourceval load_init_vernaculars : Coqargs.t -> state:Vernac.State.t -> Vernac.State.t

load_init_vernaculars opts ~state Load vernaculars from the init (rc) file

compile_file opts compile file specified in opts

Sourceval do_vio : Coqargs.t -> Coqcargs.t -> Coqargs.injection_command list -> unit

do_vio opts process .vio files in opts

OCaml

Innovation. Community. Security.