diff options
Diffstat (limited to 'cpu/netlist_gen.mli')
| -rw-r--r-- | cpu/netlist_gen.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cpu/netlist_gen.mli b/cpu/netlist_gen.mli index 9dd7b62..69a165a 100644 --- a/cpu/netlist_gen.mli +++ b/cpu/netlist_gen.mli @@ -1,4 +1,4 @@ -type t +type t = unit -> Netlist_proc.res ref val print : out_channel -> Netlist_ast.program -> unit @@ -23,6 +23,8 @@ val rom : string -> int -> int -> t -> t val ram : int -> int -> t -> t -> t -> t -> t +val reg : int -> t -> t + val main_0_1 : t -> Netlist_ast.program val main_0_2 : t * t -> Netlist_ast.program val main_0_3 : t * t * t -> Netlist_ast.program |