UNPKG

@ciao-lang/ts-ciao-interface

Version:

Simple Ciao interface for node.

4 lines 4.3 kB
<!DOCTYPE HTML><html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Search this manual &mdash; </title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">&#9776;</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-grimoire-128h_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="CiaoDevel.html">&#x2191;</a><a class="lpdoc-navbutton" href="CiaoDevelrefs.html">&#x2190;</a><span class="lpdoc-navbutton-disabled">&#x2192;</span><a class="lpdoc-navbutton" href="">&#x1F50D;</a></span><span><a href="CiaoDevelfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="CiaoDevel.html">CiaoDevel Reference Manual</a> &raquo;<br/> </li><li><a href=""><strong>Search this manual</strong></a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Search this manual</h1> Type below to search for where concepts, predicates, modes, properties, types, applications, authors, etc., are defined or referred to in this manual. Use <tt>_</tt> to show all entries in the index.<br/><br/><input type="text" id="search-input"></input><div id="search-results"></div><div id="search-index" style="display:none"><h2>C</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="CiaoBiblio" href="CiaoBiblio.html">CiaoBiblio (CiaoBiblio library)</a><li><a id="CodeReviews" href="CodeReviews.html">CodeReviews (CodeReviews library)</a><li><a id="CodingStyle" href="CodingStyle.html">CodingStyle (CodingStyle library)</a></ul></div><h2>G</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="GitWorkflow" href="GitWorkflow.html">GitWorkflow (GitWorkflow library)</a></ul></div><h2>L</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="library(source_tree)" href="TestChanges.html#0">library(source_tree) (in TestChanges)</a></ul></div><h2>M</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="main/0" href="TestChanges.html#4">main/0 (in TestChanges)</a><li><a id="main/1" href="TestChanges.html#1">main/1 (in TestChanges)</a><ul class="lpdoc-itemize-none"><li><a href="TestChanges.html#3">(in TestChanges)</a><li><a href="TestChanges.html#5">(in TestChanges)</a></ul></ul></div><h2>N</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="NewRelease" href="NewRelease.html">NewRelease (NewRelease library)</a></ul></div><h2>R</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="ReportingBugs" href="ReportingBugs.html">ReportingBugs (ReportingBugs library)</a></ul></div><h2>T</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="TestChanges" href="TestChanges.html">TestChanges (TestChanges library)</a><li><a id="The Ciao Development Team" href="ReportingBugs.html#The Ciao Development Team">The Ciao Development Team (ReportingBugs author)</a><ul class="lpdoc-itemize-none"><li><a href="CodingStyle.html#The Ciao Development Team">(CodingStyle author)</a><li><a href="GitWorkflow.html#The Ciao Development Team">(GitWorkflow author)</a><li><a href="TestChanges.html#The Ciao Development Team">(TestChanges author)</a><li><a href="CodeReviews.html#The Ciao Development Team">(CodeReviews author)</a><li><a href="NewRelease.html#The Ciao Development Team">(NewRelease author)</a><li><a href="CiaoBiblio.html#The Ciao Development Team">(CiaoBiblio author)</a></ul></ul></div><h2>V</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="version/1" href="NewRelease.html#0">version/1 (in NewRelease)</a></ul></div><h2>W</h2><div class="lpdoc-twocolumns"><ul class="lpdoc-itemize-plain"><li><a id="write/1" href="TestChanges.html#2">write/1 (in TestChanges)</a></ul></div></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>