Kaba function simplify.append_neg ed

...

Syntax ed

func static simplify.append_neg(out a: bool[], b: bool[], inv: bool)

Parameters ed

a: bool[]

...

b: bool[]

...

inv: bool

...