NoSpan (hax-engine.Hax_engine.Ast

val ty_tuple : AST.ty Prelude.list -> AST.ty

val ty_tuple_or_id : AST.ty Prelude.list -> AST.ty

val ty_cf : continue_type:AST.ty -> break_type:AST.ty -> AST.ty

This gives the type of a value in the `ControlFlow` enum

val ty_cf_return : 
  acc_type:AST.ty ->
  break_type:AST.ty ->
  return_type:AST.ty Prelude.option ->
  AST.ty

This gives the type of a value encoded in the `ControlFlow` enum. In case a `return_type` is provided the encoding is nested: `return v` is `Break (Break v)` `break v` is `Break (Continue (v, acc))`