why3doc index index

module Pfun use export base.PartialFun end
module SubFunOrder use export base.SubFunOrder end

Generated by why3doc 0.90+git