type expr' =
  | Var of string
| Bool
| True
| False
| BoolElim of string

type expr = expr' Asai.Range.located