Idris2Doc : Core.Transform

Core.Transform

(source)
Definitions
applyTransforms : Ref Ctxt Defs => Env Term vars -> Term vars -> Core (Term vars)
  Visibility: export