Idris2Doc : Prelude.Ops

Prelude.Ops