Module("system/error",[Signature([Constructors([OpDecl("ErrorNumber",FunType([ConstType(SortNoArgs("Int"))],ConstType(SortNoArgs("Error"))))])]),Strategies([SDefNoArgs("get-last-error",Build(NoAnnoList(Op("ErrorNumber",[RootApp(CallNoArgs(SVar("get-errno")))])))),SDefNoArgs("get-errno",PrimNoArgs("\"SSL_get_errno\"")),SDefNoArgs("perror",Seq(Match(Var("s")),Prim("\"SSL_perror\"",[Var("s")]))),SDefNoArgs("strerror",Seq(Match(Var("s")),Prim("\"SSL_strerror\"",[Var("s")])))]),Strategies([SDefNoArgs("EXDEV",PrimNoArgs("\"SSL_EXDEV\""))])])
