package inferno
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Make
(S : UnifierSig.STRUCTURE)
(D : UnifierSig.DATA) :
UnifierSig.UNIFIER
with type 'a structure = 'a S.structure
and type data = D.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>