Uses of Annotation Interface
liquidjava.specification.Refinement

Packages that use Refinement

Package	Description
example

Uses of Refinement in example

Classes in example with annotations of type Refinement

Modifier and Type	Class	Description
class	Simple

Methods in example with annotations of type Refinement

Modifier and Type	Method	Description
static int	Simple.function1(int x)

Method parameters in example with annotations of type Refinement

Modifier and Type	Method	Description
static int	Simple.function1(int x)