sig gcd.

kind    nat, bool        type.

type    z                nat.
type    s                nat -> nat.
type    tt, ff           bool.

type    nat              nat -> o.
type    bool             bool -> o.
type    sub, gcd         nat -> nat -> nat -> o.
type    less             nat -> nat -> bool -> o.
type    lt               nat -> nat -> o.
