package elpi
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  ELPI - Embeddable λProlog Interpreter
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      elpi-3.4.2.tbz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=c3b1a329866b56b7decc937434b9b3a559ba0851952b15eccc70031460b0e5c7
    
    
  sha512=ce00b18f224896246b22ed34c7b8b5bec304fef726e9ba3a5c82a1a40c09a38d1600ab3b0f9ca567ff471803ea57a9de00a40d22b5828d25d930ed8ff29a7fd9
    
    
  doc/elpi.util/Elpi_util/Util/CData/index.html
Module Util.CDataSource
Source
type 'a data_declaration = {- data_name : string;
- data_pp : Format.formatter -> 'a -> unit;
- data_compare : 'a -> 'a -> int;
- data_hash : 'a -> int;
- data_hconsed : bool;
} sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >