package sail

  1. Overview
  2. Docs

Parameters

module C : Config

Signature

val output_instr : int -> Stdlib.Buffer.t -> int -> C.label StringMap.t -> Jib.instr -> unit
val output_instrs : int -> Stdlib.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 : Stdlib.Buffer.t -> Jib.cdef -> unit
val output_defs : Stdlib.Buffer.t -> Jib.cdef list -> unit
OCaml

Innovation. Community. Security.