parameters: (s)
return_statement: return ArrayRef(Z3_mk_full_set(ctx.ref(), s.ast), ctx)
docstring: Create the full set
      >>> FullSet(IntSort())
      K(Int, True)
docstring_summary: Create the full set
      >>> FullSet(IntSort())
      K(Int, True)
docstring_tokens: Create the full set >>> FullSet ( IntSort () ) K ( Int True )
function: def FullSet(s):
      """Create the full set
      >>> FullSet(IntSort())
      K(Int, True)
      """
      ctx = s.ctx
      return ArrayRef(Z3_mk_full_set(ctx.ref(), s.ast), ctx)
function_tokens: def FullSet ( s ) : ctx = s . ctx return ArrayRef ( Z3_mk_full_set ( ctx . ref ( ) , s . ast ) , ctx )