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
Frama-C