Error (hax-engine.Fstar

type t = {

}

val raise : t -> 'never

val unimplemented : 
  ?issue_id:Hax_engine.Prelude.int ->
  ?details:Hax_engine.Prelude.string ->
  Hax_engine.Ast.span ->
  'never

val assertion_failure : 
  Hax_engine.Ast.span ->
  Hax_engine.Prelude.string ->
  'never