package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Project_skeleton.Make_setter`

since Carbon-20101201

Parameters

module _ : sig ... end

Signature

val make_unique_name : string -> string

returns
a fresh name from the given string according to X.mem.

since Nitrogen-20111001

val make : string -> t

since Carbon-20101201

val set_name : t -> string -> unit

since Carbon-20101201