Merging to justifier specification lists

merge_specLists(x, y)

Arguments

x, y

The two justifier specification lists

Value

Examples

### Add example