Sign in
chromium
/
external
/
github.com
/
WebAssembly
/
spec
/
refs/heads/csp
/
.
/
spectec
/
src
/
il2al
/
animate.mli
blob: 1973b6e3fc21710d262ad0e461fd93d1de4277f7 [
file
] [
edit
]
val transform
:
Il
.
Ast
.
script
->
Il
.
Ast
.
script
val animate_prems
:
Il
.
Free
.
sets
->
Il
.
Ast
.
prem list
->
Il
.
Ast
.
prem list
