package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

A parser library for automated deduction

Install

sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61

sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f

Printing functions.

Sourcemodule L : sig ... end

Sourceexception Cannot_print of string

val _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 =

Sourceval categorize_symbol : string -> symbol

Sourceval id : Stdlib.Format.formatter -> Dolmen_std.Name.t -> unit