package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Printable.StdLeaf`

Default dummy definitions for leaf types: primitive and CIL types, which don't contain inner types that require relifting.

include module type of struct include Std end

val tag : 'a -> 'b

val arbitrary : unit -> 'a

val relift : 'a -> 'a