package elpi
This module defines what embedding and readback functions are
type extra_goals = extra_goal list
type 'a embedding =
depth:int ->
Data.state ->
'a ->
Data.state * Data.term * extra_goals
type 'a readback =
depth:int ->
Data.state ->
Data.term ->
Data.state * 'a * extra_goals
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>