package owi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Module to pretty print the various types such as text module or simplified module.

module type Arg = sig ... end

val id : Format.formatter -> string -> unit

module Shared : sig ... end

module Symbolic_indice : 
  Arg
    with type indice = Types.indice
     and type bt = Types.indice Types.block_type

module Simplified_indice : 
  Arg with type indice = int and type bt = Types.func_type

module Const : sig ... end

module Make_Expr (Arg : Arg) : sig ... end

module Input_Expr : sig ... end

module Global : sig ... end

module Input : sig ... end

module Simplified : sig ... end

val pp_id : Format.formatter -> string option -> unit