package coq-serapi

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib_number_string_notation_plugin.Ser_numberSource

module Libnames = Serlib.Ser_libnames
module Notation = Serlib.Ser_notation
Sourcetype number_string_via = Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list
Sourceval number_string_via_of_sexp : Sexplib0.Sexp.t -> number_string_via
Sourceval sexp_of_number_string_via : number_string_via -> Sexplib0.Sexp.t
Sourceval number_string_via_to_yojson : number_string_via -> Yojson.Safe.t
Sourceval number_string_via_of_yojson : Yojson.Safe.t -> number_string_via Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_number_string_via : Ppx_hash_lib.Std.Hash.state -> number_string_via -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_number_string_via : number_string_via -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_number_string_via : number_string_via -> number_string_via -> int
Sourcetype number_option = Number_string_notation_plugin.Number.number_option =
  1. | After of Notation.numnot_option
  2. | Via of number_string_via
Sourceval number_option_of_sexp : Sexplib0.Sexp.t -> number_option
Sourceval sexp_of_number_option : number_option -> Sexplib0.Sexp.t
Sourceval number_option_to_yojson : number_option -> Yojson.Safe.t
Sourceval number_option_of_yojson : Yojson.Safe.t -> number_option Ppx_deriving_yojson_runtime.error_or
Sourceval _ : Yojson.Safe.t -> number_option Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_number_option : Ppx_hash_lib.Std.Hash.state -> number_option -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_number_option : number_option -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_number_option : number_option -> number_option -> int
OCaml

Innovation. Community. Security.