Module Frenetic_kernel.UtilSource

Utility functions for Frenetic_kernel. These are used in multiple modules and don't have an obvious home type.

Sourceval make_string_of : (Format.formatter -> 'a -> unit) -> 'a -> string

Given a user-defined formatter and a type, make a string. This is a lot like sprintf, and encourages sharing the formatting code.

Sourceval pp_exceptions : unit -> unit

register pretty printer for located exceptions Location.exception

Sourceval map_fst : ('a * 'b) list -> f:('a -> 'c) -> ('c * 'b) list
Sourceval map_snd : ('a * 'b) list -> f:('b -> 'c) -> ('a * 'c) list
Sourceval compile_dot : ?format:string -> ?engine:string -> ?title:string -> string -> string
Sourceval show_dot : ?format:string -> ?title:string -> ?engine:string -> string -> unit
Sourceval show_dot_file : ?format:string -> ?title:string -> ?engine:string -> string -> unit