To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val get_num_subgoals : apply_result -> intval get_subgoals : apply_result -> Goal.goal listval get_subgoal : apply_result -> int -> Goal.goalval to_string : apply_result -> string