package sail

  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
type label
val make_label_map : Jib.instr list -> label StringMap.t
val output_label_instr : Buffer.t -> label StringMap.t -> string -> unit
val string_of_label : label -> string
val modify_instrs : Jib.instr list -> Jib.instr list
val keyword : string -> string
val typ : Jib.ctyp -> string
val value : Jib.cval -> string