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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py40 def types_compatible(value, attribute): function
82 (compat, error_str) = types_compatible(value[x.name], x)
187 (result, error_str) = types_compatible(s.value, a)

Completed in 80 milliseconds