fact: Definition javaVisibility (ek:TypeDefKind) (mods:list Modifier) : Visibility := match javaVisibilityOption mods, ek with | Some v, _ => v | None, ClassEK => Package | None, InterfaceEK => Public end.
imports: JML(Prelude) Coq(ZArith) Coq(Bool) Coq(List) JML(TaggedList) JML(ListHelpers) JML(ListFunctions) JML(OptionHelpers) JML(JMLProgramPlusImpl) JML(JMLFull2Basic) JML(JMLExpressionNotations)