package coq

  1. Overview
  2. Docs

Source file number_string_notation_plugin.ml

1
2
3
4
5
6
7
8
9
10
(* generated by dune *)

(** @canonical Number_string_notation_plugin.G_number_string *)
module G_number_string = Number_string_notation_plugin__G_number_string

(** @canonical Number_string_notation_plugin.Number *)
module Number = Number_string_notation_plugin__Number

(** @canonical Number_string_notation_plugin.String_notation *)
module String_notation = Number_string_notation_plugin__String_notation