我正在尝试理解以下讨论中编写的代码（请参阅链接）：

library(boot) 
library(reshape) 
dataset <- data.frame(Person = c(rep("A", 20), rep("B", 10)), Success = c(rbinom(20, 1, 0.25), rbinom(10, 1, 0.75))) 
Aggregated <- cast(Person ~ ., data = dataset, value = "Success", fun = list(mean, length)) 

m0 <- glm(Success ~ 1, data = dataset, family = binomial) 
m1 <- glm(mean ~ 1, data = Aggregated, family = binomial, weights = length) 

inv.logit(coef(m0)) 
inv.logit(coef(m1)) 

我1对公式中的Success ~ 1含义感到困惑。在公式的文档中，公式中有特殊符号的描述，.但没有 的描述1，除了y ~ x - 1表示通过原点的线。