module Tree: sig
.. end
type
box = {
|
id : string ; |
|
name : string ; |
|
attributes : (string * string) list ; |
}
type
arrow = {
|
label : string ; |
|
points_to : t ; |
}
type
t = [ `Apply of
string * t *
t
| `Input_value of box
| `Lambda of string * string * t
| `Node of
box *
arrow list
| `String of string
| `Variable of string * string ]
val node_count : int Pervasives.ref
val id_style : [> `Structural ]
module Index_anything: sig
.. end
val make_id : [< `Of of 'a | `Unique ] -> string
val arrow : string ->
t ->
arrow
val variable : 'a -> 'b -> [> `Variable of string * 'b ]
val lambda : 'a -> 'b -> [> `Lambda of string * 'a * 'b ]
val apply : 'a -> 'b -> [> `Apply of string * 'a * 'b ]
val string : 'a -> [> `String of 'a ]
val node : ?id:string ->
?a:(string * string) list ->
string ->
arrow list ->
t
val input_value : ?a:(string * string) list -> string -> t
val to_dot : t ->
parameters:Biokepi_pipeline_edsl.To_dot.parameters -> SmartPrint.t