package coq

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

Module Extraction_plugin.ModutilSource

Sourcetype do_ref = Names.GlobRef.t -> unit
Sourceval type_iter_references : do_ref -> Miniml.ml_type -> unit
Sourceval ast_iter_references : do_ref -> do_ref -> do_ref -> Miniml.ml_ast -> unit
Sourceval decl_iter_references : do_ref -> do_ref -> do_ref -> Miniml.ml_decl -> unit
Sourceval spec_iter_references : do_ref -> do_ref -> do_ref -> Miniml.ml_spec -> unit
Sourceval signature_of_structure : Miniml.ml_structure -> Miniml.ml_signature
Sourceval get_decl_in_structure : Names.GlobRef.t -> Miniml.ml_structure -> Miniml.ml_decl
OCaml

Innovation. Community. Security.