package coq-lsp

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

Module Serlib.Ser_gentacticSource

Sourcetype raw_generic_tactic = Gentactic.raw_generic_tactic
Sourceval sexp_of_raw_generic_tactic : raw_generic_tactic -> Sexplib0.Sexp.t
Sourceval raw_generic_tactic_of_sexp : Sexplib0.Sexp.t -> raw_generic_tactic
Sourceval hash_fold_raw_generic_tactic : Ppx_hash_lib.Std.Hash.state -> raw_generic_tactic -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_raw_generic_tactic : raw_generic_tactic -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_raw_generic_tactic : raw_generic_tactic -> raw_generic_tactic -> int
Sourceval raw_generic_tactic_to_yojson : raw_generic_tactic -> Yojson.Safe.t