package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
val print_bits : Parse_ast.l -> Jib.ctyp -> string
val string_of_bits : Parse_ast.l -> Jib.ctyp -> string
val dec_str : Parse_ast.l -> Jib.ctyp -> string
val hex_str : Parse_ast.l -> Jib.ctyp -> string
val hex_str_upper : Parse_ast.l -> Jib.ctyp -> string
val count_leading_zeros : Parse_ast.l -> int -> string
val fvector_store : Parse_ast.l -> int -> Jib.ctyp -> string
val is_empty : Parse_ast.l -> Jib.ctyp -> string
val hd : Parse_ast.l -> Jib.ctyp -> string
val tl : Parse_ast.l -> Jib.ctyp -> string