sig focus.

kind    i, form      type.

type    atom         i -> form.
type    imp          form -> form -> form.

type    form         form -> o.
type    hyp, conc    form -> o.
type    focus        form -> i -> o.
type    unfocus      form -> o.
type    conc-i       form -> o.
