package links
val env_of_value_env : CommonTypes.QueryPolicy.t -> Value.env -> Lang.env
val bind : Lang.env -> (Env.Int.name * Lang.t) -> Lang.env
val eta_expand_var : (Var.var * Types.datatype Utility.StringMap.t) -> Lang.t
val computation : Lang.env -> Ir.computation -> Lang.t
val eval :
CommonTypes.QueryPolicy.t ->
Value.t Value.Env.t ->
Ir.computation ->
Lang.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>