Sign in
◑
Theme
chromium
/
external
/
github.com
/
WebAssembly
/
spec
/
refs/heads/cnf
/
.
/
spectec
/
src
/
backend-prose
/
eq.mli
blob: 748cbf48391b9085d2bc13a798c6542202fc36a3 [
file
] [
edit
]
open
Prose
val eq_stmt
:
stmt
->
stmt
->
bool
