package dolmen

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

Module Dolmen_smtlib2_poly.PrintSource

Printing functions.

Sourcemodule L : sig ... end
Sourceexception Cannot_print of string
Sourceval _cannot_print : ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
Sourceval is_whitespace : char -> bool
Sourceval is_printable : char -> bool
Sourceval is_quoted_symbol_char : char -> bool
Sourceval is_letter : char -> bool
Sourceval is_digit : char -> bool
Sourceval is_other_simple_symbol_chars : char -> bool
Sourceval is_simple_symbol_char : char -> bool
Sourcetype symbol =
  1. | Simple
  2. | Quoted
  3. | Unprintable
Sourceval categorize_symbol : string -> symbol
Sourceval id : Stdlib.Format.formatter -> Dolmen_std.Name.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct