Template:Package

From Event-B
Jump to: navigation, search

Usage

Template use to specify a package name.

Example

Package
org.rodinp.core_block
contains the database API.

Template

{{{1}}}