Why3 Standard Library index



Option type

theory Option

  type option 'a = None | Some 'a

end

Generated by why3doc 0.88.0