Module checks 

Structs

DocumentCheckResult

Constants

ADD_INFO 🔒

Traits

ResultExt

Functions

do_displayable 🔒

do_log 🔒

do_success 🔒

do_term 🔒

do_variable_uri 🔒

in_context 🔒

proof 🔒

proofstep_result 🔒

symbol_result 🔒

tree 🔒