pub fn prove_env_file(
kind: EnvFileKind,
input: NamedText,
options: &ProofOptions,
) -> ReceiptExpand description
Analyze one environment file.
pub fn prove_env_file(
kind: EnvFileKind,
input: NamedText,
options: &ProofOptions,
) -> ReceiptAnalyze one environment file.