package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

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