Module `Libsail.Pretty_print_sail`Source

Sourceval opt_use_heuristics : bool ref

Sourceval opt_insert_braces : bool ref

module Big_int = Nat_big_num

val doc_op : 
  PPrint.document ->
  PPrint.document ->
  PPrint.document ->
  PPrint.document

Sourceval doc_id : Ast.id -> PPrint.document

Sourceval doc_kid : Ast.kid -> PPrint.document

Sourceval doc_attr : string -> string -> PPrint.document

Sourceval doc_def_annot : Ast.def_annot -> PPrint.document

Sourceval doc_kopt_no_parens : Ast.kinded_id -> PPrint.document

Sourceval doc_kopt : Ast.kinded_id -> PPrint.document

Sourceval doc_int : Big_int.num -> PPrint.document

Sourceval doc_ord : Ast.order -> PPrint.document

Sourceval doc_typ_pat : Ast.typ_pat -> PPrint.document

Sourceval doc_nexp : Ast.nexp -> PPrint.document

Sourceval doc_nc : Ast.n_constraint -> PPrint.document

Sourceval doc_typ : ?simple:bool -> Ast.typ -> PPrint.document

Sourceval doc_typ_arg : Ast.typ_arg -> PPrint.document

Sourceval doc_arg_typs : Ast.typ list -> PPrint.document

Sourceval doc_subst : Ast.subst -> PPrint.document

Sourceval doc_kind : Ast.kind -> PPrint.document

Sourceval doc_kopts : Ast.kinded_id list -> PPrint.document

Sourceval doc_quants : Ast.quant_item list -> PPrint.document

Sourceval doc_param_quants : Ast.quant_item list -> PPrint.document

Sourceval doc_binding : ?simple:bool -> (Ast.typquant * Ast.typ) -> PPrint.document

Sourceval doc_typschm : ?simple:bool -> Ast.typschm -> PPrint.document

Sourceval doc_typschm_typ : Ast.typschm -> PPrint.document

Sourceval doc_typquant : Ast.typquant -> PPrint.document option

Sourceval doc_lit : Ast.lit -> PPrint.document

Sourceval doc_pat : Ast_util.uannot Ast.pat -> PPrint.document

Sourceval if_block_then : 'a Ast.exp -> bool

Sourceval if_block_else : 'a Ast.exp -> bool

Sourceval fixities : (Ast.prec * int) Ast_util.Bindings.t ref

Sourcetype 'a vector_update =

| VU_single of 'a Ast.exp * 'a Ast.exp
| VU_range of 'a Ast.exp * 'a Ast.exp * 'a Ast.exp

Sourceval get_vector_updates : 'a Ast.exp -> 'a Ast.exp * 'a vector_update list

Sourceval doc_exp : Ast_util.uannot Ast.exp -> PPrint.document

Source

val doc_let_style : 
  string ->
  PPrint.document ->
  PPrint.document ->
  Ast_util.uannot Ast.exp ->
  PPrint.document

Source

val doc_let_style_general : 
  string ->
  PPrint.document ->
  PPrint.document option ->
  Ast_util.uannot Ast.exp ->
  PPrint.document

Source

val doc_measure : 
  Ast_util.uannot Ast.internal_loop_measure ->
  PPrint.document list

Sourceval doc_infix : int -> Ast_util.uannot Ast.exp -> PPrint.document

Sourceval doc_atomic_exp : Ast_util.uannot Ast.exp -> PPrint.document

Sourceval doc_fexps : Ast_util.uannot Ast.fexp list -> PPrint.document

Sourceval doc_fexp : Ast_util.uannot Ast.fexp -> PPrint.document

Sourceval doc_block : Ast_util.uannot Ast.exp list -> PPrint.document

Sourceval doc_lexp : Ast_util.uannot Ast.lexp -> PPrint.document

Sourceval doc_atomic_lexp : Ast_util.uannot Ast.lexp -> PPrint.document

Sourceval doc_pexps : Ast_util.uannot Ast.pexp list -> PPrint.document

Sourceval doc_pexp : Ast_util.uannot Ast.pexp -> PPrint.document

Sourceval doc_letbind : Ast_util.uannot Ast.letbind -> PPrint.document

Sourceval doc_exp_as_block : Ast_util.uannot Ast.exp -> PPrint.document

Sourceval doc_vector_update : Ast_util.uannot vector_update -> PPrint.document

Sourceval doc_funcl : Ast_util.uannot Ast.funcl -> PPrint.document

Sourceval doc_default : Ast.default_spec -> PPrint.document

Sourceval doc_rec : Ast_util.uannot Ast.rec_opt -> PPrint.document

Sourceval doc_fundef : Ast_util.uannot Ast.fundef -> PPrint.document

Sourceval doc_mpat : 'a Ast.mpat -> PPrint.document

Sourceval doc_mpexp : Ast_util.uannot Ast.mpexp -> PPrint.document

Sourceval doc_mapcl : Ast_util.uannot Ast.mapcl -> PPrint.document

Sourceval doc_mapdef : Ast_util.uannot Ast.mapdef -> PPrint.document

Sourceval doc_dec : Ast_util.uannot Ast.dec_spec -> PPrint.document

Sourceval doc_field : (Ast.typ * Ast.id) -> PPrint.document

Sourceval doc_union : Ast.type_union -> PPrint.document

Sourceval doc_index_range : Ast.index_range -> PPrint.document

Sourceval doc_typ_arg_kind : string -> Ast.typ_arg -> PPrint.document

Sourceval doc_typdef : 'a Ast.type_def -> PPrint.document

Sourceval doc_spec : 'a Ast.val_spec -> PPrint.document

Sourceval doc_prec : Ast.prec -> PPrint.document

Source

val doc_loop_measures : 
  Ast_util.uannot Ast.loop_measure list ->
  PPrint.document

Sourceval doc_scattered : Ast_util.uannot Ast.scattered_def -> PPrint.document

Sourceval doc_filter : 'a Ast.def -> bool

Sourceval doc_def_no_hardline : Ast_util.uannot Ast.def -> PPrint.document

Sourceval doc_def : Ast_util.uannot Ast.def -> PPrint.document

Sourceval doc_ast : Ast_util.uannot Ast_defs.ast -> PPrint.document

Sourceval reformat : string -> Ast_util.uannot Ast_defs.ast -> unit

Sourceval pp_ast : PPrint.ToChannel.channel -> Ast_util.uannot Ast_defs.ast -> unit

Sourceval pretty_sail : PPrint.ToChannel.channel -> PPrint.ToChannel.document -> unit

Sourceval to_string : PPrint.ToBuffer.document -> string

package libsail

Module Libsail.Pretty_print_sailSource

Module `Libsail.Pretty_print_sail`Source