package sail

  1. Overview
  2. Docs
type label
val make_label_map : Jib.instr list -> label StringMap.t
val output_label_instr : Stdlib.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
OCaml

Innovation. Community. Security.