7 lines
151 B
OCaml
7 lines
151 B
OCaml
open Hsim.Types
|
|
open Solvers.Zls
|
|
|
|
module type Model =
|
|
sig
|
|
val init : string list -> ('b, 'c, carray, carray, carray, zarray, carray) hnode
|
|
end
|