package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module GMake.UnsafeSource

Sourceval existing_entry : EState.t -> 'a Entry.t -> EState.t
Sourceval existing_of_parser : EState.t -> 'a Entry.t -> 'a Entry.parser_fun -> EState.t