Project

General

Profile

Download (80 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Datatype
2

    
3
val name : string
4

    
5
val model : prog_t
6

    
7
val traces : trace_t list
(4-4/6)