Idris.ASTUtils

data Field rec fld

fmodify

fgetState

fputState

fmodifyState

ctxt_lookup

maybe_default

ist_optimisation

opt_inaccessible

opt_detaggable

ist_callgraph

cg_usedpos

opts_idrisCmdline

known_terms

known_classes

repl_definitions

idris_fixities