package frama-c

  1. Overview
  2. Docs

Module Data.JunitSource

Sourcetype t = unit
Sourceval of_json : json -> t
Sourceval to_json : t -> json