= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
package dolmen
-
dolmen
-
dolmen.intf
-
-
dolmen.line
-
dolmen.smtlib2
-
dolmen.std
-
-
dolmen.tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Comparison helpers
Hash helpers
Misc functions
Returns the extension of a file, i.e the shortest suffix containing the character '.'. Returns an empty string if such a suffix does not exists.
Split on characters in a string (see Stdlib's split_on_char).
Returns a list with n
times the given value. Returns an empty list if n
Printing helpers
val pp_opt :
?none:string ->
(Stdlib.Buffer.t -> 'a -> unit) ->
Stdlib.Buffer.t ->
'a option ->
unit
Print an option
val pp_list :
pp_sep:(Stdlib.Buffer.t -> 'a -> unit) ->
sep:'a ->
pp:(Stdlib.Buffer.t -> 'b -> unit) ->
Stdlib.Buffer.t ->
'b list ->
unit
Print a list with separator into a buffer
val print_opt :
?none:string ->
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a option ->
unit
Print an option.
val print_list :
print_sep:(Stdlib.Format.formatter -> 'a -> unit) ->
sep:'a ->
print:(Stdlib.Format.formatter -> 'b -> unit) ->
Stdlib.Format.formatter ->
'b list ->
unit
Print a list with separator into a buffer
Lexbuf helpers
Filename string of an input.
Filename string of an input source.
val mk_lexbuf :
[ `Stdin | `File of string | `Contents of string * string ] ->
Stdlib.Lexing.lexbuf * (unit -> unit)
Returns the lexbuf associetd with the given file or stdin, with the correct filename, together with a function to close the associated file descriptor. The `Contents
constructor expect first a name for the input stream (to report errors), and then a string with the actual contents to be parsed.