Function written 

pub fn written(spec: &ModelSpec, cut: Cut) -> (Authored, Identity)

The cut cut of spec’s program, with its identity.