package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Libnames = Serlib.Ser_libnames
module Notation = Serlib.Ser_notation
type number_string_via = Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list
val number_string_via_to_yojson : number_string_via -> Yojson.Safe.t
val number_string_via_of_sexp : Sexplib0.Sexp.t -> number_string_via
val sexp_of_number_string_via : number_string_via -> Sexplib0.Sexp.t
val hash_fold_number_string_via : Base.Hash.state -> number_string_via -> Base.Hash.state
val hash_number_string_via : number_string_via -> Base.Hash.hash_value
val compare_number_string_via : number_string_via -> number_string_via -> int
val number_option_to_yojson : number_option -> Yojson.Safe.t
val _ : Yojson.Safe.t -> number_option Ppx_deriving_yojson_runtime.error_or
val number_option_of_sexp : Sexplib0.Sexp.t -> number_option
val sexp_of_number_option : number_option -> Sexplib0.Sexp.t
val hash_fold_number_option : Base.Hash.state -> number_option -> Base.Hash.state
val hash_number_option : number_option -> Base.Hash.hash_value
val compare_number_option : number_option -> number_option -> int