package linksem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'a show_class = {

}

val string_of_unit : 'a -> string

val instance_Show_Show_unit_dict : unit show_class

val string_of_bool : bool -> string

val instance_Show_Show_bool_dict : bool show_class

val string_of_string : string -> string

val instance_Show_Show_string_dict : string show_class

val string_of_pair : 'a show_class -> 'b show_class -> ('a * 'b) -> string

val instance_Show_Show_tup2_dict : 
  'a show_class ->
  'b show_class ->
  ('a * 'b) show_class

val string_of_triple : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  ('a * 'b * 'c) ->
  string

val instance_Show_Show_tup3_dict : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  ('a * 'b * 'c) show_class

val string_of_quad : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  'd show_class ->
  ('a * 'b * 'c * 'd) ->
  string

val instance_Show_Show_tup4_dict : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  'd show_class ->
  ('a * 'b * 'c * 'd) show_class

val string_of_maybe : 'a show_class -> 'a option -> string

val instance_Show_Show_Maybe_maybe_dict : 'a show_class -> 'a option show_class

val show_else : 'a show_class -> string -> 'a option -> string

val instance_Show_Show_nat_dict : int show_class

val instance_Show_Show_Num_natural_dict : Nat_big_num.num show_class

val instance_Show_Show_Num_integer_dict : Nat_big_num.num show_class