package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Frama_c_kernel.Test_pretty`

val _test_pretty : (Format.formatter -> 'a -> unit) -> 'a -> string -> bool