Module 1-Model.Caller

type query
type state
type update
type error