val arg_extra_expl_prefix : string * Arg.spec * stringval goal_expl_task : root:bool -> Task.task -> Ident.ident * string * Task.taskval search_attrs : (Ident.Sattr.t -> 'a list) -> Term.term -> 'a listval empty_bound_shape : bound_shapeval empty_shape : shapeval shape_of_string : version:int -> string -> shape_vval string_of_shape : shape_v -> stringmodule Gshape : sig ... endval print_checksum : Format.formatter -> checksum -> unitval string_of_checksum : checksum -> stringval checksum_of_string : string -> checksumval dumb_checksum : checksummodule type S = sig ... end