Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.
Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.

gridaphobe/liquid-fixpoint