[−][src]Function leo_typed::annotation::load_annotated_test
pub fn load_annotated_test(
test: TestFunction,
annotation: Annotation<'_>,
tests: &mut HashMap<Identifier, TestFunction>
)
pub fn load_annotated_test(
test: TestFunction,
annotation: Annotation<'_>,
tests: &mut HashMap<Identifier, TestFunction>
)