int_bool

int_bool{i:int, b:bool}

A relation generator. Can convert integer i into boolean b and vice-versa.

For each string that cannot be parsed, no tuple is returned.

Examples

int_bool(i:=0)

b

false

int_bool(i:=1)

b

true

int_bool(b:=true)

i

1