Module Gprinttyp

type digraph
type params
type element
type decoration
val types : title:string -> params -> (decoration * Types.type_expr) list -> unit
val nodes : title:string -> params -> (decoration * element) list -> unit
val params : ?elide_links:bool -> ?expansion_as_hyperedge:bool -> ?short_ids:bool -> ?colorize:bool -> ?follow_expansions:bool -> unit -> params
val update_params : ?elide_links:bool -> ?expansion_as_hyperedge:bool -> ?short_ids:bool -> ?colorize:bool -> ?follow_expansions:bool -> params -> params
val node : Types.type_expr -> element
type dir =
  1. | Toward
  2. | From
val hyperedge : (dir * decoration * Types.type_expr) list -> element
module Decoration : sig ... end
val make : params -> (decoration * element) list -> digraph
val add : params -> (decoration * element) list -> digraph -> digraph
val add_subgraph : params -> decoration -> (decoration * element) list -> digraph -> digraph
val group_nodes : (decoration * digraph) -> digraph -> digraph
val pp : Format.formatter -> digraph -> unit
val debug_on : (unit -> bool) ref
val debug_off : (unit -> 'a) -> 'a
val debug : (unit -> unit) -> unit
val register_type : (decoration * Types.type_expr) -> unit
val register_subgraph : params -> ?decoration:decoration -> Types.type_expr list -> unit
val forget : unit -> unit
type 'a context
val global : string context
val set_context : 'a context -> 'a -> unit
val with_context : 'a context -> 'a -> (unit -> 'b) -> 'b