let cosmic_path_exn t = let msg = sprintf "cosmic_path_exn of %s" (name t) in let cosmic = Option.value_exn ~msg t.cosmic in cosmic#product#path