fact: Fixpoint javaVisibilityOption (mods:list Modifier) : option Visibility := match mods with | public::_ => Some Public | protected::_ => Some Protected | private::_ => Some Private | _::xs => javaVisibilityOption xs | nil => None end.
imports: JML(Prelude) Coq(ZArith) Coq(Bool) Coq(List) JML(TaggedList) JML(ListHelpers) JML(ListFunctions) JML(OptionHelpers) JML(JMLProgramPlusImpl) JML(JMLFull2Basic) JML(JMLExpressionNotations)