sail
  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module C : Config

Signature

val output_instr : int -> Buffer.t -> int -> C.label StringMap.t -> Jib.instr -> unit
val output_instrs : int -> Buffer.t -> int -> C.label StringMap.t -> Jib.instr list -> unit
val id_ctyp : (Ast.id * Jib.ctyp) -> string
val uid_ctyp : ((Ast.id * Jib.ctyp list) * Jib.ctyp) -> string
val output_def : Buffer.t -> Jib.cdef -> unit
val output_defs : Buffer.t -> Jib.cdef list -> unit