package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/src/forester.frontend/Forester_frontend.ml.html
Source file Forester_frontend.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
(* * SPDX-FileCopyrightText: 2024 The Forester Project Contributors * * SPDX-License-Identifier: GPL-3.0-or-later *) (** Bits and pieces*) module Config_parser = Config_parser module Forester = Forester module DSL = DSL module Htmx_client = Htmx_client module Plain_text_client = Plain_text_client module Legacy_xml_client = Legacy_xml_client module Json_manifest_client = Json_manifest_client
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>