package fstar
-
fstar.lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type norm_step = | Simpl| Weak| HNF| Primops| Delta| Zeta| ZetaFull| Iota| NBE| Reify| NormDebug| UnfoldOnly of Prims.string Prims.list| UnfoldOnce of Prims.string Prims.list| UnfoldFully of Prims.string Prims.list| UnfoldAttr of Prims.string Prims.list| UnfoldQual of Prims.string Prims.list| UnfoldNamespace of Prims.string Prims.list| Unmeta| Unascribe
val uu___is_Simpl : norm_step -> Prims.boolval uu___is_Weak : norm_step -> Prims.boolval uu___is_HNF : norm_step -> Prims.boolval uu___is_Primops : norm_step -> Prims.boolval uu___is_Delta : norm_step -> Prims.boolval uu___is_Zeta : norm_step -> Prims.boolval uu___is_ZetaFull : norm_step -> Prims.boolval uu___is_Iota : norm_step -> Prims.boolval uu___is_NBE : norm_step -> Prims.boolval uu___is_Reify : norm_step -> Prims.boolval uu___is_NormDebug : norm_step -> Prims.boolval uu___is_UnfoldOnly : norm_step -> Prims.boolval __proj__UnfoldOnly__item___0 : norm_step -> Prims.string Prims.listval uu___is_UnfoldOnce : norm_step -> Prims.boolval __proj__UnfoldOnce__item___0 : norm_step -> Prims.string Prims.listval uu___is_UnfoldFully : norm_step -> Prims.boolval __proj__UnfoldFully__item___0 : norm_step -> Prims.string Prims.listval uu___is_UnfoldAttr : norm_step -> Prims.boolval __proj__UnfoldAttr__item___0 : norm_step -> Prims.string Prims.listval uu___is_UnfoldQual : norm_step -> Prims.boolval __proj__UnfoldQual__item___0 : norm_step -> Prims.string Prims.listval uu___is_UnfoldNamespace : norm_step -> Prims.boolval __proj__UnfoldNamespace__item___0 : norm_step -> Prims.string Prims.listval uu___is_Unmeta : norm_step -> Prims.boolval uu___is_Unascribe : norm_step -> Prims.boolval simplify : norm_stepval weak : norm_stepval hnf : norm_stepval primops : norm_stepval delta : norm_stepval norm_debug : norm_stepval zeta : norm_stepval zeta_full : norm_stepval iota : norm_stepval nbe : norm_stepval reify_ : norm_stepval delta_only : Prims.string Prims.list -> norm_stepval delta_once : Prims.string Prims.list -> norm_stepval delta_fully : Prims.string Prims.list -> norm_stepval delta_attr : Prims.string Prims.list -> norm_stepval delta_qualifier : Prims.string Prims.list -> norm_stepval delta_namespace : Prims.string Prims.list -> norm_stepval unmeta : norm_stepval unascribe : norm_step