Idris2Doc : Compiler.Opts.Identity

Compiler.Opts.Identity

(source)
Definitions
rewriteIdentityFlag : Ref Ctxt Defs => Name -> Core ()
  Visibility: export
setIdentity : Ref Ctxt Defs => Name -> Core ()
  Visibility: export