package libsail

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

Module Ast.Coq_def_annotSource

Sourcetype 'a record = {
  1. doc_comment : Parse_ast.doc_comment option;
  2. attrs : (Parse_ast.l * (string * attribute_data option)) list;
  3. visibility : visibility;
  4. loc : Parse_ast.l;
  5. env : 'a;
}