package elpi
module StrMap : sig ... end
type 'a solution = {
assignments : term StrMap.t;
constraints : constraints;
state : state;
output : 'a;
pp_ctx : pretty_printer_context;
}
type hyps = hyp list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>