Searched refs:fresh_var (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatch.sml328 val fresh_var = vary FV value
329 val dividel = partitionl fresh_var ty_match
330 val divide = partition fresh_var ty_match
341 then let val fresh = fresh_constr ty_match ty fresh_var
356 rows = ((prefix, [fresh_var(type_of u)]), rhs)::rst}
392 val other_var = fresh_var pty
396 val switch_tm = mk_switch_tm fresh_var u arb constructors
/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py65 def fresh_var (self, name, typ): member in class:Problem
H A Drep_graph.py685 cond = self.p.fresh_var (name, boolT)

Completed in 110 milliseconds