package gobba

You can search for identifiers within the package.

in-package search v0.2.0

gobba
- Gobba
  - Charp
  - Completion
    
    Trie
  - Complexp
  - Dictp
  - Errors
  - Estack
  - Eval
  - Expr
  - Iop
  - Lexer
  - Listp
  - Numericalp
  - Optimizer
  - Parsedriver
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Primitives
  - Primutil
  - Puritycheck
  - Repl
    
    StringSet
  - Stringp
  - Testing
  - Typecheck
  - Typep
  - Types
  - Util
    
    Dict
  - Values

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module provides the completion callback for the linenoise REPL

module Trie : sig ... end

val hints_callback : 
  Trie.t ref ->
  string ->
  (string * LNoise.hint_color * bool) option

val completion_callback : Trie.t ref -> string -> LNoise.completions -> unit