Lines Matching refs:list
12 val get_trans : model ->(string * Term.term) list
15 val get_vord : model -> string list option
17 val get_props : model -> (string * Term.term) list
18 val get_results : model -> (PrimitiveBddRules.term_bdd * Thm.thm option * Term.term list option) list option
23 val set_trans : (string * Term.term) list -> model -> model
26 val set_vord : string list -> model -> model
28 val set_props : (string * Term.term) list -> model -> model
29 val set_results : (PrimitiveBddRules.term_bdd * Thm.thm option * Term.term list option) list -> model -> model
35 model -> Term.term * (string * Term.term) list * bool * string option * string list option
36 * Term.term option * (string * Term.term) list
37 * (PrimitiveBddRules.term_bdd * Thm.thm option * Term.term list option) list option