Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
std.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18let rec first_successful name = function | getter :: other_getters -> ( match getter name with | Some f -> Some f | _ -> first_successful name other_getters) | _ -> None let function_from_id name = let sources = [ Liquid_number.function_from_id ; Liquid_string.function_from_id ; Liquid_list.function_from_id ; Liquid_helpers.function_from_id ] in first_successful name sources