Module `Serlib.Ser_tactics`Source

Sourcetype clear_flag = Tactics.clear_flag

Sourcetype 'a core_destruction_arg = 'a Tactics.core_destruction_arg

val sexp_of_core_destruction_arg : 
  ('a -> Sexplib0.Sexp.t) ->
  'a core_destruction_arg ->
  Sexplib0.Sexp.t

Source

val core_destruction_arg_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a core_destruction_arg

Source

val core_destruction_arg_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a core_destruction_arg ->
  Yojson.Safe.t

Source

val core_destruction_arg_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a core_destruction_arg Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_core_destruction_arg : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a core_destruction_arg ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_core_destruction_arg : 
  ('a -> 'a -> int) ->
  'a core_destruction_arg ->
  'a core_destruction_arg ->
  int

Sourcetype 'a destruction_arg = clear_flag * 'a core_destruction_arg

Source

val sexp_of_destruction_arg : 
  ('a -> Sexplib0.Sexp.t) ->
  'a destruction_arg ->
  Sexplib0.Sexp.t

Source

val destruction_arg_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a destruction_arg

Source

val destruction_arg_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a destruction_arg ->
  Yojson.Safe.t

Source

val destruction_arg_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a destruction_arg Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_destruction_arg : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a destruction_arg ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_destruction_arg : 
  ('a -> 'a -> int) ->
  'a destruction_arg ->
  'a destruction_arg ->
  int

package coq-serapi

Module Serlib.Ser_tacticsSource

Module `Serlib.Ser_tactics`Source