package fstar

You can search for identifiers within the package.

in-package search v0.2.0

fstar.lib

Legend:
Library
Module
Module type
Parameter
Class
Class type

type (!'a, !'dummyV0, !'dummyV1, !'dummyV2) calc_chain =

| CalcRefl of 'a
| CalcStep of Prims.unit Prims.list * Prims.unit * 'a * 'a * 'a * ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain * Prims.unit

val uu___is_CalcRefl : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  Prims.bool

val __proj__CalcRefl__item__x : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  'a

val uu___is_CalcStep : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  Prims.bool

val __proj__CalcStep__item__rs : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  Prims.unit Prims.list

val __proj__CalcStep__item__x : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  'a

val __proj__CalcStep__item__y : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  'a

val __proj__CalcStep__item__z : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  'a

val __proj__CalcStep__item___5 : 
  Prims.unit Prims.list ->
  'a ->
  'a ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain ->
  ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain

type ('a, 'rs, 'x, 'y) calc_chain_related = Obj.t

type ('t, 'rs, 'p) calc_chain_compatible = Prims.unit

type ('a, 'rs, 'x, 'y) calc_pack = Prims.unit

val _calc_init : 'a -> ('a, Prims.unit, Prims.unit, Prims.unit) calc_chain