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 tiff : 
  Prims.unit ->
  FStar_Tactics_Types.proofstate ->
  Prims.unit FStar_Tactics_Result.__result

val step : 
  Prims.unit ->
  FStar_Tactics_Types.proofstate ->
  Prims.unit FStar_Tactics_Result.__result

val is_true : 
  FStar_Reflection_Types.term ->
  FStar_Tactics_Types.proofstate ->
  Prims.bool FStar_Tactics_Result.__result

val is_false : 
  FStar_Reflection_Types.term ->
  FStar_Tactics_Types.proofstate ->
  Prims.bool FStar_Tactics_Result.__result

val inhabit : 
  Prims.unit ->
  FStar_Tactics_Types.proofstate ->
  Prims.unit FStar_Tactics_Result.__result

val simplify_point : 
  Prims.unit ->
  FStar_Tactics_Types.proofstate ->
  Prims.unit FStar_Tactics_Result.__result

val recurse : 
  Prims.unit ->
  FStar_Tactics_Types.proofstate ->
  Prims.unit FStar_Tactics_Result.__result

val simplify : 
  Prims.unit ->
  FStar_Tactics_Types.proofstate ->
  Prims.unit FStar_Tactics_Result.__result