diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-07 15:07:22 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-07 15:07:22 +0100 |
| commit | d9f8744ea219fb04057059cdcbf7162534c63852 (patch) | |
| tree | 9c1c2d0fa9011bd656d1eae7bbee6db954b3adfe /cpu/netlist_gen.mli | |
| parent | c8a30baeb18756f2cc246de6a575943fcf9b7ed4 (diff) | |
| download | SystDigit-Projet-d9f8744ea219fb04057059cdcbf7162534c63852.tar.gz SystDigit-Projet-d9f8744ea219fb04057059cdcbf7162534c63852.zip | |
Document.
Diffstat (limited to 'cpu/netlist_gen.mli')
| -rw-r--r-- | cpu/netlist_gen.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cpu/netlist_gen.mli b/cpu/netlist_gen.mli index 280ee8c..67d4774 100644 --- a/cpu/netlist_gen.mli +++ b/cpu/netlist_gen.mli @@ -2,8 +2,6 @@ type t val print : out_channel -> Netlist_ast.program -> unit -val id : string -> Netlist_ast.ident - val get : Netlist_ast.ident -> t val loop : int -> (t * (t -> t)) |