package asli

  1. Overview
  2. Docs
val pp_raw_l : Asl_ast.l -> PPrintEngine.document
val pp_raw_ident : Asl_ast.ident -> PPrintEngine.document
val pp_raw_typeident : Asl_ast.ident -> PPrintEngine.document
val pp_raw_leadingblank : Asl_ast.leadingblank -> PPrintEngine.document
val pp_raw_declarations : Asl_ast.declaration list -> PPrintEngine.document
val pp_raw_declaration : Asl_ast.declaration -> PPrintEngine.document
val pp_raw_field_ns : (Asl_ast.ty * string) -> PPrintEngine.document
val pp_raw_field : (Asl_ast.ty * Asl_ast.ident) -> PPrintEngine.document
val pp_raw_ixtype : Asl_ast.ixtype -> PPrintEngine.document
val pp_raw_formal : (Asl_ast.ty * Asl_ast.ident) -> PPrintEngine.document
val pp_raw_sformal : Asl_ast.sformal -> PPrintEngine.document
val pp_raw_encoding : Asl_ast.encoding -> PPrintEngine.document
val pp_raw_opt_conditional : bool -> PPrintEngine.document
val pp_raw_opt_postdecode : Asl_ast.stmt list option -> PPrintEngine.document
val pp_raw_instr_field : Asl_ast.instr_field -> PPrintEngine.document
val pp_raw_offset : int -> PPrintEngine.document
val pp_raw_opcode_value : Asl_ast.opcode_value -> PPrintEngine.document
val pp_raw_instr_unpred : (int * Asl_ast.bitsLit) -> PPrintEngine.document
val pp_raw_decode_case : Asl_ast.decode_case -> PPrintEngine.document
val pp_raw_decode_slice : Asl_ast.decode_slice -> PPrintEngine.document
val pp_raw_decode_alt : Asl_ast.decode_alt -> PPrintEngine.document
val pp_raw_decode_pattern : Asl_ast.decode_pattern -> PPrintEngine.document
val pp_raw_decode_body : Asl_ast.decode_body -> PPrintEngine.document
val pp_raw_operator : string -> PPrintEngine.document
val pp_raw_optmapcond : Asl_ast.expr option -> PPrintEngine.document
val pp_raw_mapfield : Asl_ast.mapfield -> PPrintEngine.document
val pp_raw_qualident : Asl_ast.ident -> PPrintEngine.document
val pp_raw_ty : Asl_ast.ty -> PPrintEngine.document
val pp_raw_regfields : (Asl_ast.slice list * Asl_ast.ident) list -> PPrintEngine.document
val pp_raw_regfield : (Asl_ast.slice list * Asl_ast.ident) -> PPrintEngine.document
val pp_raw_stmt : Asl_ast.stmt -> PPrintEngine.document
val pp_raw_indented_block : Asl_ast.stmt list -> PPrintEngine.document
val pp_raw_lexpr : Asl_ast.lexpr -> PPrintEngine.document
val pp_raw_s_elsif : Asl_ast.s_elsif -> PPrintEngine.document
val pp_raw_optional_else : Asl_ast.stmt list -> PPrintEngine.document
val pp_raw_alt : Asl_ast.alt -> PPrintEngine.document
val pp_raw_opt_otherwise : Asl_ast.stmt list option -> PPrintEngine.document
val pp_raw_opt_altcond : Asl_ast.expr option -> PPrintEngine.document
val pp_raw_pattern : Asl_ast.pattern -> PPrintEngine.document
val pp_raw_direction : Asl_ast.direction -> PPrintEngine.document
val pp_raw_catcher : Asl_ast.catcher -> PPrintEngine.document
val pp_raw_expr : Asl_ast.expr -> PPrintEngine.document
val pp_raw_e_elsif : Asl_ast.e_elsif -> PPrintEngine.document
val pp_raw_factor : Asl_ast.factor -> PPrintEngine.document
val pp_raw_binop : Asl_ast.binop -> PPrintEngine.document
val pp_raw_opt_stringLit : string option -> PPrintEngine.document
val pp_raw_unop : Asl_ast.unop -> PPrintEngine.document
val pp_raw_slice : Asl_ast.slice -> PPrintEngine.document
val pp_raw_expr_command : Asl_ast.expr -> PPrintEngine.document
val pp_raw_stmt_command : Asl_ast.stmt -> PPrintEngine.document
val pp_raw_impdef_command : Asl_ast.impdef_command -> PPrintEngine.document
val pp_l : Asl_ast.l -> string
val pp_ident : Asl_ast.ident -> PPrintEngine.document
val pp_typeident : Asl_ast.ident -> PPrintEngine.document
val pp_leadingblank : Asl_ast.leadingblank -> PPrintEngine.document
val pp_declarations : Asl_ast.declaration list -> PPrintEngine.document
val pp_declaration : Asl_ast.declaration -> PPrintEngine.document
val pp_field_ns : (Asl_ast.ty * string) -> PPrintEngine.document
val pp_field : (Asl_ast.ty * Asl_ast.ident) -> PPrintEngine.document
val pp_ixtype : Asl_ast.ixtype -> PPrintEngine.document
val pp_formal : (Asl_ast.ty * Asl_ast.ident) -> PPrintEngine.document
val pp_sformal : Asl_ast.sformal -> PPrintEngine.document
val pp_encoding : Asl_ast.encoding -> PPrintEngine.document
val pp_opt_conditional : bool -> PPrintEngine.document
val pp_opt_postdecode : Asl_ast.stmt list option -> PPrintEngine.document
val pp_instr_field : Asl_ast.instr_field -> PPrintEngine.document
val pp_offset : int -> PPrintEngine.document
val pp_opcode_value : Asl_ast.opcode_value -> PPrintEngine.document
val pp_instr_unpred : (int * Asl_ast.bitsLit) -> PPrintEngine.document
val pp_decode_case : Asl_ast.decode_case -> PPrintEngine.document
val pp_decode_slice : Asl_ast.decode_slice -> PPrintEngine.document
val pp_decode_alt : Asl_ast.decode_alt -> PPrintEngine.document
val pp_decode_pattern : Asl_ast.decode_pattern -> PPrintEngine.document
val pp_decode_body : Asl_ast.decode_body -> PPrintEngine.document
val pp_operator : string -> PPrintEngine.document
val pp_optmapcond : Asl_ast.expr option -> PPrintEngine.document
val pp_mapfield : Asl_ast.mapfield -> PPrintEngine.document
val pp_qualident : Asl_ast.ident -> PPrintEngine.document
val pp_ty : Asl_ast.ty -> PPrintEngine.document
val pp_regfields : (Asl_ast.slice list * Asl_ast.ident) list -> PPrintEngine.document
val pp_regfield : (Asl_ast.slice list * Asl_ast.ident) -> PPrintEngine.document
val pp_stmt : Asl_ast.stmt -> PPrintEngine.document
val pp_indented_block : Asl_ast.stmt list -> PPrintEngine.document
val pp_lexpr : Asl_ast.lexpr -> PPrintEngine.document
val pp_s_elsif : Asl_ast.s_elsif -> PPrintEngine.document
val pp_optional_else : Asl_ast.stmt list -> PPrintEngine.document
val pp_alt : Asl_ast.alt -> PPrintEngine.document
val pp_opt_otherwise : Asl_ast.stmt list option -> PPrintEngine.document
val pp_opt_altcond : Asl_ast.expr option -> PPrintEngine.document
val pp_pattern : Asl_ast.pattern -> PPrintEngine.document
val pp_direction : Asl_ast.direction -> PPrintEngine.document
val pp_catcher : Asl_ast.catcher -> PPrintEngine.document
val pp_expr : Asl_ast.expr -> PPrintEngine.document
val pp_e_elsif : Asl_ast.e_elsif -> PPrintEngine.document
val pp_factor : Asl_ast.factor -> PPrintEngine.document
val pp_binop : Asl_ast.binop -> PPrintEngine.document
val pp_opt_stringLit : string option -> PPrintEngine.document
val pp_unop : Asl_ast.unop -> PPrintEngine.document
val pp_slice : Asl_ast.slice -> PPrintEngine.document
val pp_expr_command : Asl_ast.expr -> PPrintEngine.document
val pp_stmt_command : Asl_ast.stmt -> PPrintEngine.document
val pp_impdef_command : Asl_ast.impdef_command -> PPrintEngine.document
OCaml

Innovation. Community. Security.