Agda-2.4.2.3: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

Agda.Compiler.JS.Syntax

Documentation

data Export Source

Constructors

Export 

Fields

expName :: [MemberId]
 
defn :: Exp
 

class Uses a where Source

Methods

uses :: a -> Set [MemberId] Source

Instances