package sail

  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
module StringSet : sig ... end
val opt_prefix : string ref
val opt_directory : string ref
val opt_simple_val : bool ref
val opt_abbrevs : string list ref
type latex_state = {
  1. mutable noindent : bool;
  2. mutable this : Ast.id option;
  3. mutable norefs : StringSet.t;
  4. mutable generated_names : string Ast_util.Bindings.t;
  5. mutable commands : StringSet.t;
}
val reset_state : latex_state -> unit
val state : latex_state
val unique_postfix : int -> string
type id_category =
  1. | Function
  2. | Val
  3. | Overload of int
  4. | FunclCtor of Ast.id * int
  5. | FunclNum of int
  6. | FunclApp of string
  7. | Type
val number_replacements : (string * string) list
val other_replacements : (string * string) list
val char_replace : string -> (string * string) list -> string
val replace_numbers : string -> string
val replace_others : string -> string
val category_name : id_category -> string
val category_name_val : id_category -> string
val category_name_simple : id_category -> string
val latex_id_raw : Ast_util.Bindings.key -> string
val latex_cat_id : id_category -> Ast_util.Bindings.key -> string
val app_code : 'a Ast.exp -> string
val refcode_cat_string : id_category -> string -> string
val refcode_cat_id : id_category -> Ast.id -> string
val refcode_id : Ast.id -> string
val refcode_string : string -> string
val inline_code : string -> string
val guard_abbrevs : string -> string
val text_code : string -> string
val replace_this : string -> string
val latex_of_markdown : string -> string
val docstring : Parse_ast.l -> PPrint.document
val skip_lines : in_channel -> int -> unit
val read_lines : in_channel -> int -> string list
val latex_loc : PPrint.document -> Ast.l -> PPrint.document
val doc_spec_simple : 'a Ast.val_spec -> PPrint.document
val latex_funcls : 'a -> 'b Ast.funcl list -> PPrint.document
val process_pragma : Parse_ast.l -> string -> PPrint.document option
val tdef_id : Ast.type_def_aux -> Ast.id
val defs : 'a Ast_defs.ast -> PPrint.document