package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Dotgraph.Record`

Complex node layout. Smart constructors to create records.

val (<->) : record -> record -> record

val (<|>) : record -> record -> record

val link : ?anchor:string -> ?attr:attr list -> node -> link

val label : ?port:string -> ?link:link list -> string -> record