fstar
  1. Overview
  2. Docs
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a exp =
  1. | Unit
  2. | Var of 'a
  3. | Mult of 'a exp * 'a exp
val uu___is_Unit : 'a exp -> Prims.bool
val uu___is_Var : 'a exp -> Prims.bool
val __proj__Var__item___0 : 'a exp -> 'a
val uu___is_Mult : 'a exp -> Prims.bool
val __proj__Mult__item___0 : 'a exp -> 'a exp
val __proj__Mult__item___1 : 'a exp -> 'a exp
val exp_to_string : ('a -> Prims.string) -> 'a exp -> Prims.string
val mdenote : 'a FStar_Algebra_Monoid.monoid -> 'a exp -> 'a
val mldenote : 'a FStar_Algebra_Monoid.monoid -> 'a Prims.list -> 'a
val flatten : 'a exp -> 'a Prims.list