Idris.Elab.Value

elabVal

elabValBind

elabDocTerms

elabExec

elabREPL