package coq-serapi

  1. Overview
  2. Docs
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_of_sexp : Sexplib0.Sexp.t -> number_string_via
val sexp_of_number_string_via : number_string_via -> Sexplib0.Sexp.t
val number_string_via_to_yojson : number_string_via -> Yojson.Safe.t
val number_string_via_of_yojson : Yojson.Safe.t -> number_string_via Ppx_deriving_yojson_runtime.error_or
val hash_fold_number_string_via : Ppx_hash_lib.Std.Hash.state -> number_string_via -> Ppx_hash_lib.Std.Hash.state
val hash_number_string_via : number_string_via -> Ppx_hash_lib.Std.Hash.hash_value
val compare_number_string_via : number_string_via -> number_string_via -> int
type number_option = Number_string_notation_plugin.Number.number_option =
  1. | After of Notation.numnot_option
  2. | Via of number_string_via
val number_option_of_sexp : Sexplib0.Sexp.t -> number_option
val sexp_of_number_option : number_option -> Sexplib0.Sexp.t
val number_option_to_yojson : number_option -> Yojson.Safe.t
val number_option_of_yojson : Yojson.Safe.t -> number_option Ppx_deriving_yojson_runtime.error_or
val hash_fold_number_option : Ppx_hash_lib.Std.Hash.state -> number_option -> Ppx_hash_lib.Std.Hash.state
val hash_number_option : number_option -> Ppx_hash_lib.Std.Hash.hash_value
val compare_number_option : number_option -> number_option -> int
OCaml

Innovation. Community. Security.