let to_json {name; prior_probability; theta}: Yojson.Basic.json =     `Assoc [       "name"`String name;       "prior_probability"`Float prior_probability;       "theta"`Float theta;     ]