Module Serlib.Ser_vernacexprSource

Sourcetype class_rawexpr = Vernacexpr.class_rawexpr
Sourceval class_rawexpr_of_sexp : Sexplib.Sexp.t -> class_rawexpr
Sourceval sexp_of_class_rawexpr : class_rawexpr -> Sexplib.Sexp.t
Sourcetype goal_identifier = Vernacexpr.goal_identifier
Sourceval goal_identifier_of_sexp : Sexplib.Sexp.t -> goal_identifier
Sourceval sexp_of_goal_identifier : goal_identifier -> Sexplib.Sexp.t
Sourcetype scope_name = Vernacexpr.scope_name
Sourceval scope_name_of_sexp : Sexplib.Sexp.t -> scope_name
Sourceval sexp_of_scope_name : scope_name -> Sexplib.Sexp.t
Sourcetype goal_reference = Vernacexpr.goal_reference
Sourceval goal_reference_of_sexp : Sexplib.Sexp.t -> goal_reference
Sourceval sexp_of_goal_reference : goal_reference -> Sexplib.Sexp.t
Sourcetype printable = Vernacexpr.printable
Sourceval printable_of_sexp : Sexplib.Sexp.t -> printable
Sourceval sexp_of_printable : printable -> Sexplib.Sexp.t
Sourcetype search_item = Vernacexpr.search_item
Sourceval search_item_of_sexp : Sexplib.Sexp.t -> search_item
Sourceval sexp_of_search_item : search_item -> Sexplib.Sexp.t
Sourcetype searchable = Vernacexpr.searchable
Sourceval searchable_of_sexp : Sexplib.Sexp.t -> searchable
Sourceval sexp_of_searchable : searchable -> Sexplib.Sexp.t
Sourcetype locatable = Vernacexpr.locatable
Sourceval locatable_of_sexp : Sexplib.Sexp.t -> locatable
Sourceval sexp_of_locatable : locatable -> Sexplib.Sexp.t
Sourcetype showable = Vernacexpr.showable
Sourceval showable_of_sexp : Sexplib.Sexp.t -> showable
Sourceval sexp_of_showable : showable -> Sexplib.Sexp.t
Sourcetype comment = Vernacexpr.comment
Sourceval comment_of_sexp : Sexplib.Sexp.t -> comment
Sourceval sexp_of_comment : comment -> Sexplib.Sexp.t
Sourcetype search_restriction = Vernacexpr.search_restriction
Sourceval search_restriction_of_sexp : Sexplib.Sexp.t -> search_restriction
Sourceval sexp_of_search_restriction : search_restriction -> Sexplib.Sexp.t
Sourcetype verbose_flag = Vernacexpr.verbose_flag
Sourceval verbose_flag_of_sexp : Sexplib.Sexp.t -> verbose_flag
Sourceval sexp_of_verbose_flag : verbose_flag -> Sexplib.Sexp.t
Sourcetype coercion_flag = Vernacexpr.coercion_flag
Sourceval coercion_flag_of_sexp : Sexplib.Sexp.t -> coercion_flag
Sourceval sexp_of_coercion_flag : coercion_flag -> Sexplib.Sexp.t
Sourcetype instance_flag = Vernacexpr.instance_flag
Sourceval instance_flag_of_sexp : Sexplib.Sexp.t -> instance_flag
Sourceval sexp_of_instance_flag : instance_flag -> Sexplib.Sexp.t
Sourcetype export_flag = Vernacexpr.export_flag
Sourceval export_flag_of_sexp : Sexplib.Sexp.t -> export_flag
Sourceval sexp_of_export_flag : export_flag -> Sexplib.Sexp.t
Sourcetype onlyparsing_flag = Vernacexpr.onlyparsing_flag
Sourceval onlyparsing_flag_of_sexp : Sexplib.Sexp.t -> onlyparsing_flag
Sourceval sexp_of_onlyparsing_flag : onlyparsing_flag -> Sexplib.Sexp.t
Sourcetype locality_flag = Vernacexpr.locality_flag
Sourceval locality_flag_of_sexp : Sexplib.Sexp.t -> locality_flag
Sourceval sexp_of_locality_flag : locality_flag -> Sexplib.Sexp.t
Sourcetype definition_expr = Vernacexpr.definition_expr
Sourceval definition_expr_of_sexp : Sexplib.Sexp.t -> definition_expr
Sourceval sexp_of_definition_expr : definition_expr -> Sexplib.Sexp.t
Sourcetype fixpoint_expr = Vernacexpr.fixpoint_expr
Sourceval fixpoint_expr_of_sexp : Sexplib.Sexp.t -> fixpoint_expr
Sourceval sexp_of_fixpoint_expr : fixpoint_expr -> Sexplib.Sexp.t
Sourcetype cofixpoint_expr = Vernacexpr.cofixpoint_expr
Sourceval cofixpoint_expr_of_sexp : Sexplib.Sexp.t -> cofixpoint_expr
Sourceval sexp_of_cofixpoint_expr : cofixpoint_expr -> Sexplib.Sexp.t
Sourcetype local_decl_expr = Vernacexpr.local_decl_expr
Sourceval local_decl_expr_of_sexp : Sexplib.Sexp.t -> local_decl_expr
Sourceval sexp_of_local_decl_expr : local_decl_expr -> Sexplib.Sexp.t
Sourcetype inductive_kind = Vernacexpr.inductive_kind
Sourceval inductive_kind_of_sexp : Sexplib.Sexp.t -> inductive_kind
Sourceval sexp_of_inductive_kind : inductive_kind -> Sexplib.Sexp.t
Sourcetype decl_notation = Vernacexpr.decl_notation
Sourceval decl_notation_of_sexp : Sexplib.Sexp.t -> decl_notation
Sourceval sexp_of_decl_notation : decl_notation -> Sexplib.Sexp.t
Sourcetype simple_binder = Vernacexpr.simple_binder
Sourceval simple_binder_of_sexp : Sexplib.Sexp.t -> simple_binder
Sourceval sexp_of_simple_binder : simple_binder -> Sexplib.Sexp.t
Sourcetype class_binder = Vernacexpr.class_binder
Sourceval class_binder_of_sexp : Sexplib.Sexp.t -> class_binder
Sourceval sexp_of_class_binder : class_binder -> Sexplib.Sexp.t
Sourcetype 'a with_coercion = 'a Vernacexpr.with_coercion
Sourceval with_coercion_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a with_coercion
Sourceval sexp_of_with_coercion : ('a -> Sexplib.Sexp.t) -> 'a with_coercion -> Sexplib.Sexp.t
Sourcetype constructor_expr = Vernacexpr.constructor_expr
Sourceval constructor_expr_of_sexp : Sexplib.Sexp.t -> constructor_expr
Sourceval sexp_of_constructor_expr : constructor_expr -> Sexplib.Sexp.t
Sourcetype constructor_list_or_record_decl_expr = Vernacexpr.constructor_list_or_record_decl_expr
Sourceval constructor_list_or_record_decl_expr_of_sexp : Sexplib.Sexp.t -> constructor_list_or_record_decl_expr
Sourceval sexp_of_constructor_list_or_record_decl_expr : constructor_list_or_record_decl_expr -> Sexplib.Sexp.t
Sourcetype inductive_expr = Vernacexpr.inductive_expr
Sourceval inductive_expr_of_sexp : Sexplib.Sexp.t -> inductive_expr
Sourceval sexp_of_inductive_expr : inductive_expr -> Sexplib.Sexp.t
Sourcetype one_inductive_expr = Vernacexpr.one_inductive_expr
Sourceval one_inductive_expr_of_sexp : Sexplib.Sexp.t -> one_inductive_expr
Sourceval sexp_of_one_inductive_expr : one_inductive_expr -> Sexplib.Sexp.t
Sourcetype proof_expr = Vernacexpr.proof_expr
Sourceval proof_expr_of_sexp : Sexplib.Sexp.t -> proof_expr
Sourceval sexp_of_proof_expr : proof_expr -> Sexplib.Sexp.t
Sourcetype proof_end = Vernacexpr.proof_end
Sourceval proof_end_of_sexp : Sexplib.Sexp.t -> proof_end
Sourceval sexp_of_proof_end : proof_end -> Sexplib.Sexp.t
Sourcetype scheme = Vernacexpr.scheme
Sourceval scheme_of_sexp : Sexplib.Sexp.t -> scheme
Sourceval sexp_of_scheme : scheme -> Sexplib.Sexp.t
Sourcetype section_subset_expr = Vernacexpr.section_subset_expr
Sourceval section_subset_expr_of_sexp : Sexplib.Sexp.t -> section_subset_expr
Sourceval sexp_of_section_subset_expr : section_subset_expr -> Sexplib.Sexp.t
Sourcetype extend_name = Vernacexpr.extend_name
Sourceval extend_name_of_sexp : Sexplib.Sexp.t -> extend_name
Sourceval sexp_of_extend_name : extend_name -> Sexplib.Sexp.t
Sourcetype register_kind = Vernacexpr.register_kind
Sourceval register_kind_of_sexp : Sexplib.Sexp.t -> register_kind
Sourceval sexp_of_register_kind : register_kind -> Sexplib.Sexp.t
Sourcetype module_ast_inl = Vernacexpr.module_ast_inl
Sourceval module_ast_inl_of_sexp : Sexplib.Sexp.t -> module_ast_inl
Sourceval sexp_of_module_ast_inl : module_ast_inl -> Sexplib.Sexp.t
Sourcetype module_binder = Vernacexpr.module_binder
Sourceval module_binder_of_sexp : Sexplib.Sexp.t -> module_binder
Sourceval sexp_of_module_binder : module_binder -> Sexplib.Sexp.t
Sourcetype vernac_expr = Vernacexpr.vernac_expr
Sourceval vernac_expr_of_sexp : Sexplib.Sexp.t -> vernac_expr
Sourceval sexp_of_vernac_expr : vernac_expr -> Sexplib.Sexp.t
Sourceval vernac_expr_of_yojson : Yojson.Safe.t -> (vernac_expr, string) Result.result
Sourceval vernac_expr_to_yojson : vernac_expr -> Yojson.Safe.t
Sourcetype vernac_control = Vernacexpr.vernac_control
Sourceval vernac_control_of_sexp : Sexplib.Sexp.t -> vernac_control
Sourceval sexp_of_vernac_control : vernac_control -> Sexplib.Sexp.t
Sourceval vernac_control_of_yojson : Yojson.Safe.t -> (vernac_control, string) Result.result
Sourceval vernac_control_to_yojson : vernac_control -> Yojson.Safe.t