1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
open Lang
open Sl
type t =
| Extern of rel_signature
| Defined of rel_signature * exp list * block * elseblock option
let to_string = function
| Extern _ -> "extern relation"
| Defined _ -> "defined relation"
let get_signature = function
| Extern rel_signature -> rel_signature
| Defined (rel_signature, _, _, _) -> rel_signature