fstar 2022.01.15 · OCaml Package

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val paren : Prims.string -> Prims.string

val print_list_aux : 
  ('a ->
    FStar_Tactics_Types.proofstate ->
    Prims.string FStar_Tactics_Result.__result) ->
  'a Prims.list ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result

val print_list : 
  ('a ->
    FStar_Tactics_Types.proofstate ->
    Prims.string FStar_Tactics_Result.__result) ->
  'a Prims.list ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result

val term_to_ast_string : 
  FStar_Reflection_Types.term ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result

val branches_to_ast_string : 
  FStar_Reflection_Data.branch Prims.list ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result

val branch_to_ast_string : 
  FStar_Reflection_Data.branch ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result

val comp_to_ast_string : 
  FStar_Reflection_Types.comp ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result

val const_to_ast_string : 
  FStar_Reflection_Data.vconst ->
  FStar_Tactics_Types.proofstate ->
  Prims.string FStar_Tactics_Result.__result