TTImp.ProcessFnOpt

Definitions

processFnOpt : Ref Ctxt Defs => FC -> Bool -> Name -> FnOpt -> Core ()

Visibility: export