type InitArg = record {
some_number1: nat64;
some_number2: nat64;
some_number3: nat64;
some_number4: int64;
some_number5: int64;
some_number6: int64;
some_number7: opt nat64;
some_number8: vec nat;
some_number9: vec nat;
some_number10: nat;
some_number11: int;
some_number12: nat;
some_number13: int;
some_u8: nat8;
some_u8_n: nat8;
some_float32: float32;
some_float32_2: float32;
some_float32_3: float32;
some_float64: float64;
some_float64_2: float64;
};
service : (InitArg) -> { greet : () -> (opt text) query }