Revision efc2cd2f
Added by Pierre-Loïc Garoche almost 5 years ago
| src/tools/seal/seal_utils.ml | ||
|---|---|---|
| 43 | 43 |
let is_eq_elem elem elem' = |
| 44 | 44 |
match elem, elem' with |
| 45 | 45 |
| IsInit, IsInit -> true |
| 46 |
| Expr e, Expr e' -> e = e' (* |
|
| 47 |
Corelang.is_eq_expr e e' *) |
|
| 46 |
| Expr e, Expr e' -> Corelang.is_eq_expr e e' |
|
| 48 | 47 |
| _ -> false |
| 49 | 48 |
|
| 50 | 49 |
let select_elem elem (gelem, _) = |
Also available in: Unified diff
[seal] more progress on seal extract